Nuprl Definition : has-es-info-type
has-es-info-type(es;e;f;T) == es-info-type(es;e;f) ⊆r T
Definitions occuring in Statement :
es-info-type: es-info-type(es;e;f),
subtype_rel: A ⊆r B
FDL editor aliases :
has-es-info-type
Latex:
has-es-info-type(es;e;f;T) == es-info-type(es;e;f) \msubseteq{}r T
Date html generated:
2016_05_17-AM-08_51_04
Last ObjectModification:
2013_02_14-PM-02_44_00
Theory : messages
Home
Index