Let a be a finite non-empty set. Does there exist a relation r on a that is both an equivalence relation and an order relation?.