Una relación de orden R incluido en AxA, se da cuando R cumple las propiedades reflexiva, antisimétrica y transitiva.