∅̅=∅