Relación de orden amplio
Una relación de orden amplio es aquella que cumple las propiedades reflexiva, antisimétrica y transitiva.
w Propiedad reflexiva:
w Propiedad antisimétrica:
w Propiedad transitiva:
a