Reflexive and transitive but not symmetric

join shbcf.ru