A term from geometry, used for denoting the relation of "belonging to" or "containing" ($\in$) between the basic objects in geometry: points, lines, planes. The properties of incidence are characterized by the so-called incidence axioms; see, e.g., Hilbert system of axioms, Incidence system and Projective geometry.