대수면의 대수적 정의