La formalización de estas propiedades es la siguiente: