for F, f being Function holds
( F .: ({},f) = {} & F .: (f,{}) = {} )