for X being set
for O being Order of X holds
( dom O = X & rng O = X )