#3 Navigation over empty set is fixpoint

[Jörn Guy Süß]

A chain of invocations over an empty set is defined lazy
and yields an empty set of the respective type.

Thus

context Class inv:

(self.namespace -
self.namespace).association.specification->isEmpty()