Nuprl Definition : powerset
powerset(T) == T ⟶ ℕ2
Definitions occuring in Statement :
int_seg: {i..j-}
,
function: x:A ⟶ B[x]
,
natural_number: $n
Definitions occuring in definition :
function: x:A ⟶ B[x]
,
int_seg: {i..j-}
,
natural_number: $n
FDL editor aliases :
powerset
Latex:
powerset(T) == T {}\mrightarrow{} \mBbbN{}2
Date html generated:
2016_05_14-PM-04_02_16
Last ObjectModification:
2015_09_22-PM-06_02_04
Theory : equipollence!!cardinality!
Home
Index