for f being Function holds {} is f -compatible ;