The "extension" of a relation is the class of those ordered couples
which are such that
has the relation in question to
.
We can now go a step further in the process of abstraction, and consider what we mean by "structure." Given any relation, we can, if it is a sufficiently simple one, construct a map of it. For the sake of definiteness, let us take a relation of which the extension is the following couples:
,