Nuprl Definition : rev_subtype_rel
A ⊇r B == B ⊆r A
Definitions occuring in Statement :
subtype_rel: A ⊆r B
Definitions occuring in definition :
subtype_rel: A ⊆r B
FDL editor aliases :
rev_subtype_rel
Latex:
A \msupseteq{}r B == B \msubseteq{}r A
Date html generated:
2016_05_13-PM-03_19_01
Last ObjectModification:
2016_01_04-AM-10_27_07
Theory : subtype_0
Home
Index