Least Generalizations and Greatest Specializations of Sets of Clauses