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