Las estructuras también forman parte del álgebra universal, después de todo, algunas estructuras algebraicas tales como grupos ordenados admiten una relación binaria del tipo '" se escribe como una proposición formula_8.)