FaSet: A Set Theory Model for Faceted Search