El conjunto complementario se denota por una barra horizontal o por el superíndice «», por lo que se tiene: , y también .