Bağıntılar mantığı, iki veya daha fazla şey arasındaki karşılıklı ilişki ve bağlantıyı inceleyen bir mantık dalıdır 2.

Bağıntı, matematikte iki kümenin kartezyen çarpımının herhangi bir alt kümesi olarak tanımlanır 24. Bir bağıntı, bir kümedeki bir öğeyi başka bir kümedeki bir öğeye götürür, yani iki öğe arasında bir bağ kurar 2.

Bağıntı çeşitleri arasında denklik bağıntısı (yansıma, simetri ve geçişme özelliği olan) ve sıralama bağıntısı (yansıma, ters simetri ve geçişme özelliği olan) bulunur 245.

Bağıntılar mantığı, matematiksel ilişkilerin yanı sıra, sosyal ilişkiler, coğrafi konumlar gibi matematiksel olmayan bağlamlarda da kullanılabilir 3.