Let XX be a . A subset ΩX\Omega\subseteq X is affine if for all a,bΩa,b\in\Omega,

L[a,b]Ω,L[a,b]\subseteq \Omega,

where L[a,b]L[a,b] is the .

Examples
  • Any linear subspace is affine.
  • In Rn\mathbb{R}^n, a set of the form x0+Lx_0+L with LL a subspace is affine.
  • A need not be affine; affine sets are "flat," while convex sets may be curved.
Equivalent characterizations

A nonempty subset Ω\Omega is affine if and only if it is a translate of a (see ). Under the line-based definition above, the empty set is also affine.