Nuprl Definition : sym

(basic):: Sym(T;x,y.E[x; y]) ==  ∀a,b:T.  (E[a; b] ⇒ E[b; a])


Definitions occuring in Statement :  all: ∀x:A. B[x],  implies: P ⇒ Q
Definitions occuring in definition :  all: ∀x:A. B[x],  implies: P ⇒ Q
FDL editor aliases :  sym
Latex:
(basic)::  Sym(T;x,y.E[x;  y])  ==    \mforall{}a,b:T.    (E[a;  b]  {}\mRightarrow{}  E[b;  a])


Date html generated: 2016_05_13-PM-04_14_39
Last ObjectModification: 2015_09_22-PM-05_46_02

Theory : rel_1


Home Index