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