Existence homomorpfismu formulována v kontextu (složitosti) násobení booleovských maticí a homomorfismových dualit. Rozvinutí pionýrské práce Vitavera.