Nuprl Definition : suptype
suptype(S; T) == T ⊆ S
Definitions occuring in Statement :
subtype: S ⊆ T
Definitions occuring in definition :
subtype: S ⊆ T
Latex:
suptype(S; T) == T \msubseteq{} S
Date html generated:
2016_05_13-PM-04_02_57
Last ObjectModification:
2015_09_22-PM-05_45_45
Theory : int_1
Home
Index