Nuprl Definition : sub-family

F ⊆ G ==  ∀p:P. ((F p) ⊆r (G p))


Definitions occuring in Statement :  subtype_rel: A ⊆r B,  all: ∀x:A. B[x],  apply: f a
Definitions occuring in definition :  all: ∀x:A. B[x],  subtype_rel: A ⊆r B,  apply: f a
FDL editor aliases :  sub-family
Latex:
F  \msubseteq{}  G  ==    \mforall{}p:P.  ((F  p)  \msubseteq{}r  (G  p))


Date html generated: 2016_05_14-AM-06_12_07
Last ObjectModification: 2015_09_22-PM-05_46_58

Theory : co-recursion


Home Index