Ага, я видел, как пара там конструируется обычно. Но как там определяется проекции, например, "взять второй элемент"?

(Reply to this) (Parent) (Thread)

Ну, в порядке бреда, в ZF, если заведомо известно, что в множестве всего два элемента, то можно брать элемент с наименьшим рангом как первую проекцию. А вторую проекцию как разницу элемента с наибольшим рангом и наименьшим.

Но скорее там проекции вообще не вычислимые функции. И все определяется через универсальное свойство.

(Reply to this) (Parent)