The solution set of a linear equation
where and are given, is either empty, of an affine set.
Proof: Indeed, if it is not empty, we can express the condition as , where is a particular solution. Hence, if and only if , where is a subspace. We write this as . Thus, is an affine subspace.