empty(PartialFunction)