Nuprl Definition : p_subset

A ⊆{T} B ==  ∀x:T. ((A x) ⇒ (B x))


Definitions occuring in Statement :  all: ∀x:A. B[x],  implies: P ⇒ Q,  apply: f a
Definitions occuring in definition :  all: ∀x:A. B[x],  implies: P ⇒ Q,  apply: f a
Latex:
A  \msubseteq{}\{T\}  B  ==    \mforall{}x:T.  ((A  x)  {}\mRightarrow{}  (B  x))


Date html generated: 2016_05_15-PM-00_00_16
Last ObjectModification: 2015_09_23-AM-06_23_34

Theory : gen_algebra_1


Home Index