Cardinality arithmetic


Indicator function definition




Cantor sub-theorem theorem