Definition:Closed Class under Mapping