La axiomatización indica que x es "estrictamente preferido a" y si y sólo si x es "al menos tan bueno como" y, pero no ocurre que y sea "al menos tan bueno como" x.