Nuprl Definition : connex

(basic):: Connex(T;x,y.R[x; y]) ==  ∀x,y:T.  (R[x; y] ∨ R[y; x])


Definitions occuring in Statement :  all: ∀x:A. B[x],  or: P ∨ Q
Definitions occuring in definition :  all: ∀x:A. B[x],  or: P ∨ Q
FDL editor aliases :  connex
Latex:
(basic)::  Connex(T;x,y.R[x;  y])  ==    \mforall{}x,y:T.    (R[x;  y]  \mvee{}  R[y;  x])


Date html generated: 2016_05_13-PM-04_16_05
Last ObjectModification: 2015_09_22-PM-05_46_07

Theory : rel_1


Home Index