for D being non empty set
for x being Element of D holds <*<*x*>*> = <*<*x*>*> @