Added new class empty_set.