{{short description|Common elements of two or more sets}} {{about|a broad mathematical concept|the point where roads meet|Intersection (road)|other uses}} {{refimprove|date=January 2014}} 220px|thumb|The intersection (red) of two disks (white and red with black boundaries). [[Image:Circle-line intersection.svg|thumb|right|The circle (black) intersects the line (purple) in two points (red). The disk (yellow) intersects the line in the line segment between the two red points.]] [[File:Example of a non pairwise disjoint family of sets.svg|220px|thumb|The intersection of D and E is shown in grayish purple. The intersection of A with any of B, C, D, or E is the empty set.]]

In mathematics, the '''intersection''' of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their intersection is the point at which they meet. More generally, in set theory, the intersection of sets is defined to be the set of elements which belong to all of them.

Intersections can be thought of either collectively or individually, see Intersection (geometry) for an example of the latter. The definition given above exemplifies the collective view, whereby the intersection operation always results in a well-defined and unique, although possibly empty, set of mathematical objects. In contrast, the individual view focuses on the separate members of this set. Given this view, intersections need not be unique, as shown by the two points of intersection between a circle and a line pictured. Similarly, (individual) intersections need not exist as between two parallel but distinct lines in Euclidean geometry.

Intersection is one of the basic concepts of geometry. An intersection can have various geometric shapes, but a point is the most common in a <!-- indefinite article: there are different “plane geometries” -->plane geometry. Incidence geometry defines an <!-- yes, must be indefinite article -->intersection (usually, of flats) as an object of lower dimension that is incident to each of the original objects. In this approach, an intersection can be sometimes undefined, such as for parallel lines. In both the cases the concept of intersection relies on logical conjunction. Algebraic geometry defines intersections in its own way with intersection theory.<!-- In set theory, there are also intersections of classes blah-blah-blah not sure it’s very topical --Incnis Mrsi -->

== In set theory == thumb|Considering a road to correspond to the set of all its locations, a road intersection (cyan) of two roads (green, blue) corresponds to the intersection of their sets. {{Main|Intersection (set theory)}}

The intersection of two sets {{math|''A''}} and {{math|''B''}} is the set of elements which are in both {{math|''A''}} and {{math|''B''}}. Formally,

:<math>A \cap B = \{ x: x \in A \text{ and } x \in B\}</math>.<ref name=":0">{{Cite book|url=https://books.google.com/books?id=LBvpfEMhurwC|title=Basic Set Theory|last1=Vereshchagin|first1=Nikolai Konstantinovich|last2=Shen|first2=Alexander|date=2002-01-01|publisher=American Mathematical Soc.|isbn=9780821827314|language=en}}</ref>

For example, if <math>A = \{1, 3, 5, 7\}</math> and <math>B = \{1, 2, 4, 6\}</math>, then <math>A \cap B = \{1\}</math>. A more elaborate example (involving infinite sets) is: : <math>A = \{ x:\text{ x is an even integer} \}</math> : <math>B = \{ x:\text{ x is an integer divisible by 3} \}</math><math>\text{ , then}</math> : <math>A \cap B = \{6, 12, 18, \dots\}</math>

As another example, the number {{math|5}} is ''not'' contained in the intersection of the set of prime numbers {{math|{2, 3, 5, 7, 11,&nbsp;…} }} and the set of even numbers {{math|{2, 4, 6, 8, 10,&nbsp;…} }}, because although {{math|5}} ''is'' a prime number, it is ''not'' even.

Sets can have an empty intersection. For example, if <math>A = \{Amy,\, Aaron, \, Arjun\}</math> and <math>B = \{Barack,\, Bas,\, Betty \}</math>, then <math>A \cap B = \emptyset</math>. Such sets are called disjoint sets and may colloquially be said to have no intersection.

==In geometry== {{excerpt|Intersection (geometry)}}

==Notation== Intersection is denoted by the {{unichar|2229|intersection}} from Unicode Mathematical Operators.

The symbol {{unichar|2229}} was first used by Hermann Grassmann in ''Die Ausdehnungslehre von 1844'' as general operation symbol, not specialized for intersection. From there, it was used by Giuseppe Peano (1858–1932) for intersection, in 1888 in ''Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann''.<ref name=":1">{{Cite book|url=https://books.google.com/books?id=5LJi3dxLzuwC|title=Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann: preceduto dalle operazioni della logica deduttiva|last=Peano|first=Giuseppe|date=1888-01-01|publisher=Fratelli Bocca|language=it|location=Torino}}</ref><ref name=":2">{{Cite book|url=https://books.google.com/books?id=bT5suOONXlgC|title=A History of Mathematical Notations |last=Cajori|first=Florian|date=2007-01-01|publisher=Cosimo, Inc.|language=en|location=Torino|isbn=9781602067141 }}</ref>

Peano also created the large symbols for general intersection and union of more than two classes in his 1908 book ''Formulario mathematico''.<ref name=":3">{{Cite book|title=Formulario mathematico, tomo V|last=Peano|first=Giuseppe|date=1908-01-01|publisher=Edizione cremonese (Facsimile-Reprint at Rome, 1960)|language=it|page=82|oclc = 23485397|location=Torino}}</ref><ref>{{URL|http://www.math.hawaii.edu/~tom/history/set.html|Earliest Uses of Symbols of Set Theory and Logic}}</ref>

==See also== * Constructive solid geometry, Boolean Intersection is one of the ways of combining 2D/3D shapes * Dimensionally Extended 9-Intersection Model * Meet (lattice theory) * Intersection (set theory) * Union (set theory)

==References== <references />

==External links== * {{MathWorld|Intersection}} zh-yue:交點 Category:Broad-concept articles Category:Intersection