集合半環上の測度を定義します。
集合半環上に定義された測度を集合環上の測度へ拡張します。
外測度を定義します。
測度空間を定義します。
測度空間の性質について解説します。
現在、活発な議論はありません。