Template:ClassContext

Template
Convenience template for:

In the context of class theory, the definition follows the same lines: