Title: Relational quantifiers
Subjects: Predicate calculus, Symbolic and mathematical Logic, Lattice theory