Un
orden
____________________
es
una
relación
____________________
R
sobre
un
conjunto
____________________
que
es
____________________
,
antisimétrica
,
y
____________________
,
es
decir
,
para
cualesquiera
a
,
b
,
y
c
en
X
se
tiene
que
:
____________________
(
reflexividad
)
.
Si
____________________
y
bRa
,
entonces
a
=
b
(
____________________
)
.