

Definição (transitividade negativa) 
Dada uma relação binária  em um conjunto genérico , nós dizemos que  é negativamente transitiva se

onde por  nós queremos dizer 

Note que a transitividade negativa também pode ser reescrita como :, simplesmente utilizando do fato de  também pode ser escrita como

Definição (conexão) 
Dada uma relação binária  em um conjunto genérico , dizemos que R é (fracamente) conexa  se : então ou  ou .