With regret and second thoughts, they were finally compelled to admit that the order of knowledge does not necessarily mirror the order of nature.

Order RelationsA relation C on a set A is called an order relation (or a simple order, or a linear order)if it has the following properties:(1) (Comparability) For every x and y in A for which x = y, either xCy or yCx.(2) (Nonreflexivity) For no x in A does the relation xCx hold.(3) (Transitivity) If xCy and yCz, then xCz.Note that property (1) does not by itself exclude the possibility that for some pair ofelements x and y of A, both the relations xCy and yCx hold (since “or” means “oneor the other, or both”). But properties (2) and (3) combined do exclude this possibil-ity; for if both xCy and yCx held, transitivity would imply that xCx, contradictingnonreflexivity.EXAMPLE 7. Consider the relation on the real line consisting of all pairs (x, y) of real

‘Noble’ savages are, ultimately, just as boring as savageones; more to the point, neither actually exist. Helena Valero washerself adamant on this point. The Yanomami were not devils, sheinsisted, neither were they angels. They were human, like the rest ofus.