Множество,которому принадлежат те и только те элементы, которые  одновременно принадлежат всем исходным множествам.