Sea [matemática] R = \ {(1,1), (2,2), (3,3) \} [/ matemática] una relación definida en el conjunto [matemática] A = \ {1,2,3 \}[/matemáticas].
La relación [matemática] R [/ matemática] es reflexiva porque para cada [matemática] x \ en A [/ matemática] tenemos [matemática] (x, x) \ en R [/ matemática]. Además, para cada [matemática] x, y \ en A [/ matemática] tenemos la implicación [matemática] (x, y) \ en R \ implica (y, x) \ en R [/ matemática]. Por lo tanto, [matemática] R [/ matemática] es una relación simétrica. La relación [matemática] R [/ matemática] también es transitiva porque, para cada [matemática] x, y, z \ en A [/ matemática], tenemos [matemática] (x, y), (y, z) \ en R \ implica (x, z) \ en R [/ math]. Para que la relación [matemática] R [/ matemática] sea antisimétrica, debemos tener [matemática] (a, b), (b, a) \ en R \ implica a = b. [/ Matemática] Pero esto es verdadero para [matemáticas] R [/ matemáticas]. Por lo tanto, [math] R [/ math] también es una relación antisimétrica en el conjunto [math] A. [/ Math]