alternating multilinear map
multilinear map that is 0 whenever arguments are linearly dependent
determinant
sum of signed terms of n factors from n×n matrix with no two factors sharing row or column
multilinear map that is 0 whenever arguments are linearly dependent