Вот общее определение термина связь: связь – Пусть A и B являются множествами, не обязательно различными. Тогда связью из A к B является правило составления пар элементов множества A с элементами множества B. (Эквивалентно, можно сказать, что связью является сам результат применения этого правила.)
Замечание: Поскольку связи полагаются направленными, мне кажется более осмысленным считать, что связь ведет от множества A к другому множеству B, а не имеется между этими двумя множествами. Кроме того, как уже отмечалось, я буду отличать такую связь от ее инверсии, представляющей собой связь от множества B к множеству A.
В качестве иллюстрации, пусть множество A содержит символы алфавита A-Z, а B – цифры 0-9. Тогда следующее спаривание (подробно разъясняемое в телефонных трубках) является известным примером связи от A к B:
nil
0
nil
1
A-C
2
D-F
3
G-I
4
J-L
5
M-O
6
P-S
7
T-V
8
W-Z
9
Имеется и обратная связь от B к A (в которой, как вы можете видеть, для некоторых элементов B отсутствуют парные элементы A).
Далее я буду ссылаться на приведенный пример как на «телефонный пример».