fourth-order class

Deductions

• fourth-order class has quality class ⇐ (existence is a class), (fourth-order class has quality existence)
• fifth-order class is for example fourth-order class ⇐ (fourth-order class is a fifth-order class), (is a is inverse of is for example)
• fourth-order class has quality existence ⇐ (fourth-order class is subclass of fixed-order class), (fixed-order class has quality existence)
• fourth-order class is for example third-order class ⇐ (third-order class is a fourth-order class), (is a is inverse of is for example)