Thread: Is this set open?

A is a subset of B, both sets are open.
Is the set B/A open?

My answer would be no, because the complement of an open set is always closed. Is this the correct definition in this case?

But a set can be both open and closed.

You can look at A=(0,1), B=(0,2) as subset of the real line with the usual topology.

girdav: In your example, A\B is [1,2) which is not open.

However, let B be the union of two arbitrary disjoint open subsets A and C. B is open.
Then B\A = C is open by construction.

But why is the set open? If it's the complement of A and A is open, shouldn't the complement of an open set always be closed?

Originally Posted by infernalmich

But why is the set open? If it's the complement of A and A is open, shouldn't the complement of an open set always be closed?

You must understand that and is known as a relative complement.
That is the complement of A relative to B.
You see is an open set in the underlying space which may not be .
In the real numbers which is not open.

Originally Posted by infernalmich

But why is the set open? If it's the complement of A and A is open, shouldn't the complement of an open set always be closed?

Yes, that's true. But "B\A" is NOT the "complement" of A, which is, by definition, the set all points not in A, whether they are in B or not. If and , then an open set. The [b]complement of A is , a closed set.