But the `elementhood' relation between sets can't, itself, be a set of ordered pairs - since there can't be a set which contains each ordered pair of sets
Therefore, not all relations (in the ordinary sense) are sets of ordered pairs (i.e. relations in the mathematical sense).
No comments:
Post a Comment