Nuprl Definition : fset-disjoint

fset-disjoint(eq;as;bs) ==  fset-null(as ⋂ bs)


Definitions occuring in Statement :  fset-null: fset-null(s),  fset-intersection: a ⋂ b
Definitions occuring in definition :  fset-null: fset-null(s),  fset-intersection: a ⋂ b
FDL editor aliases :  fset-disjoint
Latex:
fset-disjoint(eq;as;bs)  ==    fset-null(as  \mcap{}  bs)


Date html generated: 2017_02_20-AM-10_49_14
Last ObjectModification: 2017_02_03-AM-10_52_23

Theory : finite!sets


Home Index