Nuprl Definition : consistent-class
any x,y from X satisfyR[x; y] == 
e1,e2:E. v1,v2:T. (v1 
X(e1) 
v2 X(e2) R[v1; v2])
Definitions occuring in Statement :
classrel: v X(e),
es-E: E,
all: x:A. B[x],
implies: P Q
FDL editor aliases :
consistent-class
any x,y from X satisfyR[x; y] == \mforall{}e1,e2:E. \mforall{}v1,v2:T. (v1 \mmember{} X(e1) {}\mRightarrow{} v2 \mmember{} X(e2) {}\mRightarrow{} R[v1; v2])
Date html generated:
2012_01_23-PM-12_16_33
Last ObjectModification:
2012_01_20-AM-01_05_35
Home
Index