Część wspólna, przekrój, przecięcie, iloczyn mnogościowy – zbiór zawierający te i tylko te elementy, które należą jednocześnie do obu/wszystkich wybranych zbiorów. Część wspólną definiuje się także dla dowolnych niepustych rodzin zbiorów.
Definicje thumb|250px|Przekrój zbiorów i oznaczony kolorem fioletowym Część wspólna zbiorów i to zbiór, do którego należą te elementy zbioru które należą również do . Część wspólna zbiorów i jest oznaczana przez Tak więc: ,
co jest równoważne zapisowi ,
gdzie jest zbiorem wszystkich rozważanych elementów zwanym przestrzenią lub uniwersum.
Część wspólną można zdefiniować także dla dowolnej, niepustej rodziny zbiorów: jeżeli jest niepustą rodziną zbiorów, to jej część wspólną definiuje się jako zbiór elementów należących jednocześnie do wszystkich zbiorów z rodziny :
Można to równoważnie zapisać jako .
Podobnie dla indeksowanej rodziny zbiorów gdzie zbiór indeksów jest niepusty, część wspólną definiuje się jako
co jest równoważne .
Przykłady Niech będzie zbiorem liczb naturalnych, a niech będzie zbiorem parzystych liczb całkowitych.