Определение. Форма есть класс эквивалентности сигнатур с учетом смещения.
Чтобы понять это определение, нужно знать понятие класса эквивалентности. Это классическое математическое понятие, вы найдете его определение в любой книге по теории множеств. На практике определение говорит о том, что любая сигнатура определяет некую форму и что две сигнатуры определяют одну и ту же форму, если — и только если — они эквивалентны с учетом смещения. Четыре сигнатуры выше — пример класса эквивалентности сигнатур с учетом смещения.
Путь к сути вещей: Как понять мир с помощью математики
·
Давид Бессис
