3.3 Равенства

Если и — формулы, то = — равенство. Ничто иное равенством не является.

Условимся о сокращении: вместо двух равенств = и = разрешается писать просто == ("цепочка равенств"). Аналогично будут пониматься и более длинные цепочки. Так, запись === имеет смысл =, =, =.