Nuprl Definition : setsubset
(a ⊆ b) ==  ∀x∈a.(x ∈ b)
Definitions occuring in Statement : 
allsetmem: ∀a∈A.P[a]
, 
setmem: (x ∈ s)
Definitions occuring in definition : 
allsetmem: ∀a∈A.P[a]
, 
setmem: (x ∈ s)
FDL editor aliases : 
setsubset
Latex:
(a  \msubseteq{}  b)  ==    \mforall{}x\mmember{}a.(x  \mmember{}  b)
Date html generated:
2018_07_29-AM-10_01_08
Last ObjectModification:
2018_05_30-AM-11_38_25
Theory : constructive!set!theory
Home
Index