A function that assigns, to each n by n matrix A, a real number denoted det A,
is called a determinant function if it satisfies the following axioms: