Used for

• Algebraic systems, Quasi-varieties of
• Classes, Implicationally defined
• Classes, Quasi-primitive
• Classes, Universal Horn
• Horn classes, Universal
• Implicationally defined classes
• Quasi-primitive classes
• Quasi-varieties of algebraic systems
• Quasiprimitive classes
• Universal Horn classes