Nuprl Definition : mem
a ∈b as == ∃b x(:|s|) ∈ as. x (=b) a
Definitions occuring in Statement :
mon_for: For{g} x ∈ as. f[x],
infix_ap: x f y,
bor_mon: <𝔹,∨b>,
set_eq: =b,
set_car: |p|
Definitions occuring in definition :
mon_for: For{g} x ∈ as. f[x],
set_car: |p|,
bor_mon: <𝔹,∨b>,
infix_ap: x f y,
set_eq: =b
Latex:
a \mmember{}\msubb{} as == \mexists{}b x(:|s|) \mmember{} as. x (=\msubb{}) a
Date html generated:
2016_05_16-AM-07_36_51
Last ObjectModification:
2015_09_23-AM-09_51_30
Theory : list_2
Home
Index