Extensiones de campos: definiciones y propiedades