for X being non empty trivial set ex x being Element of X st X = {x}