User:KBlott/Definition/Semiclass

Definition

Let $C$ be a class. Let $s$ and $t$ be elements of $C$. Let $\cup: C \times C \to C: s \cup t =\cup \left ({s, t}\right)$ be a binary operation on $C$. Let $-: C \to C$ be a unary operation on $C$.