Nuprl Definition : rel_equivalent
R1 ⇐⇒ R2 == ∀x,y:T. (R1 x y ⇐⇒ R2 x y)
Definitions occuring in Statement :
all: ∀x:A. B[x],
iff: P ⇐⇒ Q,
apply: f a
Definitions occuring in definition :
all: ∀x:A. B[x],
iff: P ⇐⇒ Q,
apply: f a
FDL editor aliases :
rel_equivalent
Latex:
R1 \mLeftarrow{}{}\mRightarrow{} R2 == \mforall{}x,y:T. (R1 x y \mLeftarrow{}{}\mRightarrow{} R2 x y)
Date html generated:
2016_05_14-AM-06_04_34
Last ObjectModification:
2015_09_22-PM-05_46_47
Theory : relations
Home
Index