If F is a sigma-algebra and A is a subset of X, then A is called measurable if A is a member of F. X need not have, a priori, a topological structure. Even if it does, there may be no connection between the open sets in the topology and the given sigma-algebra.

measurable space | sigma-algebra