Assertion: isomorphism | /r/HasProperty | sets
Facets:
Source sentences:
text: This way we get a bijective correspondence and moreover, an isomorphism between two partially ordered (by inclusion) sets: the set of all sub-σ-algebras of $\A$, and the set of all measure subalgebras of the measure algebra of $(X,\A,\mu)$.