Я не знаю, сколько раз я говорил это, но еще раз, уравнение все еще применяется:
ES = JUNK
Iceman
давай, чувак - вы предаете себя
это недопустимая частичная эквивалентность порядка, поскольку она не удовлетворяет никаким другим условиям, которые сделали бы ее переходной (т. е. x [= y ^ y [= z => x [= z ) и не удовлетворяя антисимметричному свойству, что x [= y ^ y [= z => x = z, потому что f (ES) [= f (JUNK) не сохраняет порядок омега-цепочек, поэтому не является непрерывным, доказывая, что ES = JUNK не является действительным утверждением равенства или действительным соглашением о частичном заказе