Affine subspace (source code)

= Affine subspace
{wiki}

An affine subspace of a <vector space> is a translate $v+W$ of a <vector subspace> $W$. Its dimension is the <dimension of a vector space>[dimension] of $W$.