The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.
The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.