Add examples for disjoint? and subset?