ideal on a measurable space

• measurable space
• negligibility space