Measurable space

“In contrast to a Measure space, no Measure is needed for a Measurable space.”

References

• Wikipedia;

• Mathlib;