Nuprl Definition : fset-member
a ∈ s == ↑a ∈b s
Definitions occuring in Statement :
deq-member: x ∈b L,
assert: ↑b
Definitions occuring in definition :
assert: ↑b,
deq-member: x ∈b L
FDL editor aliases :
fset-member
Latex:
a \mmember{} s == \muparrow{}a \mmember{}\msubb{} s
Date html generated:
2016_05_14-PM-03_38_03
Last ObjectModification:
2015_10_06-PM-01_37_47
Theory : finite!sets
Home
Index