Definición algebraica de una superficie algebraica