В предлагаемой читателям книге, написанной известным математиком, кибернетиком и философом Ю.А.Шрейдером, рассказывается о том, как можно формально описать свойства хорошо знакомых всем отношений, указанных в заглавии. На этом примере выясняется, как происходит переход от привычных, но неточных понятий к строгим математическим определениям.

Необходимость строгого описания простейших отношений возникает в математической логике, кибернетике, математической лингвистике и т. п. Простейшим примерам из математической лингвистики посвящена последняя глава книги.

Алгебра отношений, описанная в книге, рассказана вполне общедоступно, и книга может быть рекомендована школьникам старших классов, занимающимся в математических кружках; лингвистам, разрабатывающим математические модели языка; студентам гуманитарных специальностей, нуждающимся в определенном математическом образовании; научным работникам, занимающимся какими-либо аспектами кибернетики; а также широкому кругу читателей, в том числе не математиков по профессии.