Nuprl Definition : uconnex

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

Definitions occuring in Statement : uall: ∀[x:A]. B[x], or: P ∨ Q
Definitions occuring in definition : uall: ∀[x:A]. B[x], or: P ∨ Q

Latex:
(basic):: uconnex(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_06 Last ObjectModification: 2015_09_22-PM-05_46_07 Theory : rel_1 Home Index