I am reading a topology definition:
Let $X$ be a set and let $\tau$ be a family of subsets of $X$. Then $\tau$ is called a topology on $X$ if:
- Both the empty set and $X$ are elements of $\tau$
- Any union of elements of $\tau$ is an element of $\tau$
- Any intersection of finitely many elements of $\tau$ is an element of $\tau$
If $\tau$ is a topology on $X$, then the pair $(X, \tau)$ is called a topological space. The notation $X_\tau$ may be used to denote a set $X$ endowed with the particular topology $\tau$. The members of $\tau$ are called open sets in $X$.
My question is:
Are the members of $\tau$ open sets or only called open sets?
This definition abstracts the idea of an open set in a metric space, so in a sense the members of $\tau$ are only called open sets - they aren't open in the sense that they contain a ball around every point, because there isn't any distance to say what that means. (Of course, as other people have pointed out, once you decide to call them open sets, the distinction between being called open and actually being open is somewhat unclear).
The reason this definition is chosen is that the collection of open sets in a metric space (defined in the usual metric spaces way) forms a topology in this sense. So in that case the sets in $\tau$ are open both because they are in $\tau$ and because they are open in the metric sense.