add EmptySet