for X being set
for O being Operation of X holds NOT O = id (X \ (dom O))