Las siguientes propiedades se deducen de los anteriores axiomas.