Последовательность подпространств векторного пространства, начинающаяся с нулевого пространства и заканчивающаяся самим векторным пространством, такая, что каждый член последовательности (до последнего) является собственным подпространством следующего.