Интересно, а почему мы однородные объекты считаем одинаковыми в функциональном плане? Потому что нам так кажется правильным и удобным — запихнули в массив, и на конвейер? Или инерция мешает?
Оказывается, что обратная транзитивность может и не работать — одинаковые в функциональном плане объекты не обязаны быть однородными. А опыт функционального анализа говорит нам, что, что после расстановки приоритетов (рейтинговании) не сработает и прямая транзитивность.
Таким образом, кое-то оказался в положении кошки Шредингера — он прав и не прав одновременно. Но это уже между нами, девочками.