. This definition has the edge that it can be applied to any linear map devoid of need to have for a particular matrix. Rank in terms of nullity[edit] This can be revealed by proving equality of their null Areas. The null Area of your Gram matrix is provided by https://clen4closure.org