👉 In mathematics, a "haimsucken" is a non-empty set X with a binary operation ∗ defined on it such that for all x, y, and z in X, the following properties hold: 1. The empty set (emptyset) is an element of X. 2. For any x, y in X, the result of applying ∗ to x and y is also in X. 3. If a ≠ b in X, then ∗(a ∗ b