Equidimensional algebraic variety (source code)

= Equidimensional algebraic variety

An <algebraic variety> whose <irreducible components> all have the same <dimension of an algebraic set>. The components of a generic fibre in the <fiber dimension theorem> have this property even when that fibre is reducible.