Definition:Generated Sigma-Algebra