If is a Sigma Algebra and is a Subset of , then is called measurable if is a member of . 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.
See also Measurable Space, Sigma Algebra