[Empty_set.png]