Hallo Daniel
Einen Verbund kann man dann wohl so definieren (meine Vermutung, hab auf die schnelle nix dazu gefunden):
http://www.informatik.hu-berlin.de/lehrstuehle/automaten/logik/node5.html#SECTION00322200000000000000, gefunden über http://www.google.de/search?hl=de&q=Verband+Informatik+Relation+Definition&btnG=Suche&meta=lr%3Dlang_de.
Freundliche Grüße
Vinzenz