Title: Consistent properties of composite formation under a binary relation
Subjects: Lattice theory