for f being empty Function holds .: f = {} .--> {}