Relationen: Vom syntaktischen Standpunkt betrachtet ist eine Relation eine Objektliste der Art
x->y. Wir sagen,
x ist ein Index,
y ist sein zugeordneter Wert und
x->y ist ein Paar der Relation. Die wichtigste Eigenschaft der Relationen ist die Tatsache, dass man den einem Index zugeordneten Wert (oder Werteabfolge) zurück erhalten kann. Das erreicht man durch Anwendung des Objekts auf die Relation. Wenn ein Objekt in einer Relation keinen Index besitzt, dann lautet das Ergebnis der Anwendung des Objekts auf die Relation
null.
Man kann das Symbol -> mit dem Symbolbild
erzeugen.