Coordinate ring ($k[X]$)

For an affine algebraic set $X\subseteq {\mathbb{A}}_k^n$, its coordinate ring isThe set $X$ is irreducible exactly when $k[X]$ is an integral domain.