Nuprl Definition : symmetrize

Symmetrize(x,y.R[x; y];a;b) ==  R[a; b] ∧ R[b; a]


Definitions occuring in Statement :  and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q
FDL editor aliases :  symmetrize
Latex:
Symmetrize(x,y.R[x;  y];a;b)  ==    R[a;  b]  \mwedge{}  R[b;  a]


Date html generated: 2016_05_13-PM-04_15_11
Last ObjectModification: 2015_09_22-PM-05_46_04

Theory : rel_1


Home Index