From binary relations to Tamari lattice
We define a lattice on binary relations which generalizes the weak order on permutations. We then describe some surjections and quotients and re-obtain many combinatorial lattices related to the weak order and the Tamari lattice.