Nuprl Definition : set-equal

set-equal(T;x;y) ==  ∀t:T. ((t ∈ x) ⇐⇒ (t ∈ y))


Definitions occuring in Statement :  l_member: (x ∈ l),  all: ∀x:A. B[x],  iff: P ⇐⇒ Q
Definitions occuring in definition :  all: ∀x:A. B[x],  iff: P ⇐⇒ Q,  l_member: (x ∈ l)
FDL editor aliases :  set-equal
Latex:
set-equal(T;x;y)  ==    \mforall{}t:T.  ((t  \mmember{}  x)  \mLeftarrow{}{}\mRightarrow{}  (t  \mmember{}  y))


Date html generated: 2016_05_14-PM-01_37_11
Last ObjectModification: 2015_09_22-PM-05_54_26

Theory : list_1


Home Index