tal que vale el siguiente axioma: