A Sigma-algebra, , on a set, , defined as:
i.e. the sigma-algebra generated by , which is the set:{all the open sets of }, i.e. the topology on . It is the smallest sigma-algebra that contains . See here
A Borel measure, is just a Measure on a Borel -algebra. Specifying such a measure is simplified by the Caratheodory extension theorem, that says that to