# empty(PartialFunction)