Цитата(savedata @ 6.2.2011, 12:58) *

aa bb cc dd ab bc ac ad

а транзитивность будет выполняться?