Verifiquese
directamente
que
m
/
n~r
/
s
si
y
solo
si
ms
=
nr
Reflexividad
.
m
/
n~m
/
n
puesto
que
____________________
=
____________________
Simetria
.
Si
m
/
n~r
/
s
entonces
,
____________________
=
____________________
.
De
aquí
que
____________________
=
____________________
y
,
por
tanto
,
r
/
s~m
/
n
Transitividad
.
Si
m
/
n~r
/
s
y
r
/
s~u
/
v
entonces
,
____________________
=
____________________
y
____________________
=
____________________
.
Reordenando
terminos
y
sustituyendo
,
obtenemos
mvs
=
vms
=
vnr
=
nrv
=
nsu
=
nus
.
Como
____________________
es
diferente
de
cero
,
deducimos
que
____________________
=
____________________
,
entonces
m
/
n~u
/
v