Az aszimmetrikus reláció egy R bináris reláció egy A halmazon úgy, hogy az A-beli összes a, b esetén, ha (a, b) R-ben, akkor (b, a) nincs R-ben.
Az R reláció komplementere egy A halmazon az R^c reláció A-n úgy, hogy minden a, b esetén A-ban, (a, b) az R^c-ben akkor és csak akkor, ha (a, b) nincs R-ben. .
Tehát egy R aszimmetrikus reláció komplementere egy A halmazon egy R^c reláció A-n úgy, hogy minden a, b esetén A-ban, ha (a, b) R^c-ben, akkor (b, a) nem az R^c-ben.
Ez nem jelenti azt, hogy R^c szimmetrikus. Vegyük például az R ={(1, 2), (2, 3)} összefüggést az A ={1, 2, 3} halmazon. Ekkor R egy aszimmetrikus reláció. R komplementere azonban R^c ={(1, 3), (2, 1), (3, 2)}, ami nem szimmetrikus.