 General concept inclusion

An axiom requiring every instance of the description logic concept $C$ to be an instance of $D$. It holds throughout the domain, not just at named individuals.