empty set with overbar