for X being non empty set
for x being Element of X holds . x = . (^ x)