4.1.3 Summary


Relations are written as either identifiers or variables with no parentheses.

Only dyadic relations are allowed.

Any identifier will do as a relation.

Any variable will also do as a relation.

There is no relation hierarchy behind the scenes.


Next, we look briefly at arcs.

PrevLite: 4.1.2 Variables
NextLite: 4.2 Arcs

Prev: 4.1.2 Variables
Up: 4.1 Relations
Next: 4.2 Arcs