dział logiki wydrębniony przez Ch.S. Peirce'a i E. Schrödera na przełomie XIX i XX w.; wcześniej r.r. G. Cantor zinterpretował w teorii mnogości jako teorię zbiorów; algebra zbiorów określa operacje i działania w r.r.: iloczyn relacji (A ∩ B), suma relacji (A U B) oraz rządzące r.r. prawa: konwersu (odwrócenia) relacji, prawo łączności i rozdzielności, prawo zawierania się relacji (inkluzji); w teorii porządku wyodrębniono relacje porządkujące i dobrze porządkujące zbiór (określane za pomocą pary uporządkowanej); najważniejsze prace z zakresu r.r. ogłosili m.in. E. Zermelo, G. Peano, G. Frege, A. Tarski, K. Kuratowski, A. Mostowski.
- algebra relacyjna, proceduralny model operowania...
- zdać, (ja) zdam egzamin z matematyki...
- pamiętnik, relacja narracyjna owydarzeniach,...