Add empty set as a term.  Not sure how to go on from here, though  :-(