Nuprl Definition : l_eqset
l_eqset(T;L1;L2) == 
x:T. ((x 
L1) 
(x L2))
Definitions occuring in Statement :
all: x:A. B[x],
iff: P Q,
l_member: (x l)
FDL editor aliases :
l_eqset
l\_eqset(T;L1;L2) == \mforall{}x:T. ((x \mmember{} L1) \mLeftarrow{}{}\mRightarrow{} (x \mmember{} L2))
Date html generated:
2012_02_20-PM-05_55_10
Last ObjectModification:
2012_02_02-PM-02_29_26
Home
Index