У книзі розповідається про те, як можна формально описати властивості добре знайомих усім відносин, зазначених в заголовку. 

На цьому прикладі з'ясовується, як відбувається перехід від звичних, але неточних понять до строгим математичним визначенням. Необхідність суворого опису найпростіших відносин виникає в математичної логіки, кібернетики, математичної лінгвістики і т. п. Найпростішими прикладами з математичної лінгвістики присвячена остання глава книги.