Assertion: algebra's operation | /r/CapableOf | form proper class
Facets:
Source sentences:
text: (Set in the case of ordinary universal algebra) indicate that a cleaner and more general notion of variety is obtained when the operations can form a proper class.