Nuprl Definition : subtype

S ⊆ T ==  ∀x:S. (x ∈ T)


Definitions occuring in Statement :  all: ∀x:A. B[x],  member: t ∈ T
Definitions occuring in definition :  all: ∀x:A. B[x],  member: t ∈ T
FDL editor aliases :  subtype
Latex:
S  \msubseteq{}  T  ==    \mforall{}x:S.  (x  \mmember{}  T)


Date html generated: 2016_05_13-PM-03_04_24
Last ObjectModification: 2015_09_22-PM-05_43_41

Theory : core_1


Home Index