Инцидентор

Инцидентор(Incidentor) - 1. Предикат [math]\displaystyle{ P(v,w,e) }[/math] такой, что [math]\displaystyle{ P = 1 }[/math] тогда и только тогда, когда [math]\displaystyle{ e = (v,w) }[/math]. Используется, например, при задании графа списком его ребер, ставя в соответствие каждому ребру пару вершин - концов ребра. 2. Пара элементов [math]\displaystyle{ (v,e) }[/math] такая, что вершина [math]\displaystyle{ v }[/math] инцидентна ребру [math]\displaystyle{ e }[/math].

Литература

[Зыков/69]