Let XX be a and let ΩX\Omega\subset X be nonempty.

Lemma: The set Ω\Omega is if and only if for every ωΩ\omega\in\Omega, the translate

Ωω:={xωxΩ}\Omega-\omega:=\{x-\omega\mid x\in\Omega\}

is a of XX.

Equivalent characterizations

Equivalently, Ω\Omega is affine iff there exist ωX\omega\in X and a subspace LXL\subset X such that Ω=ω+L\Omega=\omega+L.

Remarks

Context: This lemma explains why affine sets are often called "affine subspaces": they are precisely translates of linear subspaces.