𝒪={O∈2^X|X̅\̅O̅=X\O}