| context | $X$…$\mathcal F$-vector space |
| context | $n\in \mathbb N$ |
| definiendum | $M\in \mathrm{SymMultiLin}(X^n)$ |
| context | $M\in \mathrm{MultiLin}(X^n)$ |
| $ v_1,\dots,v_n\in X $ |
| $ 1\le i<j\le n $ |
| postulate | $ M(v_1,\dots,v_i,\dots,v_j,\dots,v_n)=-M(v_1,\dots,v_j,\dots,v_i,\dots,v_n) $ |