for X, Y, Z being set
for f being PartFunc of [:X,Y:],Z holds ~ (~ f) = f