Состав отношений

• Отношения в логике используются для описания связей между объектами. 
• Отношения могут быть бинарными, т.е. связывающими два объекта. 
• Логические матрицы используются для представления отношений между объектами. 
• Композиция отношений используется для различения соотношений типа Феррера. 
• Правила Шредера упорядочивают логическую решетку всех бинарных отношений. 
• Операции сравнения с делением дают частные, такие как левый остаток, правый остаток и симметричный коэффициент. 
• Оператор вилки используется для объединения двух отношений в новое отношение. 
• Операция соединения в реляционной алгебре является другой формой составления отношений.