(linear algebra) A theorem about linear transformations (or the matrices that represent them) stating that the rank plus the nullity equals the dimension of the entire vector space (which is the linear transformation’s domain).