Een asymmetrische relatie is een binaire relatie R op een verzameling A zodat voor alle a, b in A, als (a, b) in R, dan (b, a) niet in R zit.
Het complement van een relatie R op een verzameling A is de relatie R^c op A zodat voor alle a, b in A, (a, b) in R^c dan en slechts dan als (a, b) niet in R is .
Dus het complement van een asymmetrische relatie R op een verzameling A is een relatie R^c op A zodat voor alle a, b in A, als (a, b) in R^c, (b, a) dat niet is in R^c.
Dit betekent niet dat R^c symmetrisch is. Beschouw bijvoorbeeld de relatie R ={(1, 2), (2, 3)} op de verzameling A ={1, 2, 3}. Dan is R een asymmetrische relatie. Het complement van R is echter R^c ={(1, 3), (2, 1), (3, 2)}, wat niet symmetrisch is.