The equivalence sort-classes of id:s define pure Sorts. Introduction of “Ordered” Pairs; Non-Ordinality. The basic ordering of two objects is ...
確定! 回上一頁