The intersection of a class of sets. Note that M is allowed to be empty, then ⋂M is UnivCl, as Intersection_empty_set shows.