for A being non empty AltGraph
for o being Object of A holds (id A) . o = o