In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could ...
Banerjee and Pattanaik (1996) proved a theorem that the maximal set with respect to a quasi-ordering can be fully recovered by defining the greatest sets with respect to each and every ordering ...