域是（）的逻辑组合，它们共享集中的（）。