Definition:Closed under Partial Mapping