A set in a measurable space is called measurable if it belongs to the -algebra . The -algebra contains sets for which a measure can be consistently defined.