Цитата(tig81 @ 6.2.2011, 19:03) *

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


да

aa bb cc dd - рефлексивно

ab bc ac, bc cc bc, ac cc ac, ad dd ad - транзистивно

ну и антисимметрично очевидно