Nuprl Definition : bigger
bigger(A;B) == (
t1:A. (t1 
B)) 
(t1,t2:A. (t1 = t2 
t1 = t2))
Definitions occuring in Statement :
all: x:A. B[x],
iff: P Q,
and: P Q,
member: t T,
equal: s = t
FDL editor aliases :
bigger
bigger(A;B) == (\mforall{}t1:A. (t1 \mmember{} B)) \mwedge{} (\mforall{}t1,t2:A. (t1 = t2 \mLeftarrow{}{}\mRightarrow{} t1 = t2))
Date html generated:
2013_03_20-AM-09_48_00
Last ObjectModification:
2012_11_30-PM-01_00_55
Home
Index