an empty set by construction.