Nuprl Definition : fset-null

fset-null(s) ==  null(s)


Definitions occuring in Statement :  null: null(as)
Definitions occuring in definition :  null: null(as)
FDL editor aliases :  fset-null
Latex:
fset-null(s)  ==    null(s)


Date html generated: 2016_05_14-PM-03_40_10
Last ObjectModification: 2015_10_06-PM-01_36_53

Theory : finite!sets


Home Index