matematiksel mantığın ilişkileri inceleyen bir koludur... De Morgan ve schröder tarafından geliştirilmiştir. ilişkilerin özelliklerini ve bağımlılıklarını inceler, bir ilişkiden başka ilişkilerin nasıl çıkarsanacağını saptar, ikili-üçlü ve daha çok yanlı ilişkileri sınıflandırır. örnek; nedensellik ikili bir ilişki, içindelik ise üçlü bir ilişkidir.
