Definición y propiedades básicas de las extensiones enteras