В книге рассказывается о том, как можно формально описать свойства хорошо знакомых всем отношений, указанных в заглавии
