Two Operators to Define and Manipulate Themes of a Document Collection