Relaciji može se pridružiti relacija koju zovemo komplement  relacije i pišemo .
Komplement  relacije  je skup svih uređenih parova (a,b) za koje vrijedi da uređen par (a,b) nije element relacije .