Nuprl Definition : istype

istype(T) ==  T ⊆r T


Definitions occuring in Statement :  subtype_rel: A ⊆r B
Definitions occuring in definition :  subtype_rel: A ⊆r B
Rules referencing :  pertypeElimination
FDL editor aliases :  istype
Latex:
istype(T)  ==    T  \msubseteq{}r  T


Date html generated: 2019_06_20-AM-11_13_53
Last ObjectModification: 2018_09_25-AM-11_36_10

Theory : core_2


Home Index