Equivalence theorem for nonsingular matrices: the matrix A has an inverse.
Theorem: An $n \times n$ matrix $A$ is nonsingular iff $A$ has an inverse $A^{-1}$ satisfying $AA^{-1} = A^{-1}A = I$. This is the defining property.
Now you are in the subtree of Container for Linear Algebra project.