for V being non empty set
for a being Object of (Ens V) st ex x being set st a = {x} holds
a is terminal