(i) | $N \in \{ 2, 3, 4, \ldots \}$ is a D5094: Positive integer |
(ii) | $n, m \in \{ 1, 2, \ldots, N \}$ are each a D5094: Positive integer |
(iii) | $B \in \mathbb{R}^{(N - 1) \times (N - 1)}$ is a D5939: Real matrix standard submatrix for $A$ with respect to $(n, m)$ |