Transfinite Numbers
Cardinals
get information about a transfinite cardinal
aleph0
aleph2
bet7
simplify an expression involving cardinals
5*aleph0^aleph0
aleph1 + bet 4
test an equation of cardinals
aleph0^3 = aleph0
test an inequality of cardinals
