for X, Y, Z, T being set
for x, y, z being object
for f being Function of [:X,Y,Z:],T st x in X & y in Y & z in Z & T <> {} holds
f . (x,y,z) in T