[see also: member, ingredient, feature, detail
We shall call the elements of such a chain links.
Computing f(y) can be done by enumerating A(y) and testing each element for membership in C.
Two consecutive elements do not belong both to A or both to B.
a 3-element set