for x being set
for X being trivial set st x in X holds
X = {x}