А мне нравится дихотомический подход!
Вот есть множество b, а есть множество не b. И мне нет никакого смысла обозначать это множество как-то по-другому, потому что ключевым моментом для меня является только одно - b этот элемент или не b.