Ordres, Reticles i Àlgebres de Boole