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