for X being set
for A being finite 0 -based array of X st A <> {} holds
last A in X