Cтраница 4
Первое утверждение следует из часто упоминаемого факта: класс эквивалентности элемента х содержит сам этот элемент. Для доказательства второго предположим, что элементы ж, у, z X и z ж П у. Заметим, что свойства ( 1) и ( 2) означают, что множество X разбито на непересекающиеся подмножества, классы эквивалентности. [46]
Первое утверждение вытекает из результатов главы II. Можно воспользоваться и простым правилом, которое облегчает получение этих результатов. [47]
Первое утверждение непосредственно следует из определений. [48]
Первое утверждение уже было доказано выше. [49]
Первое утверждение состоит в следующем. [50]