Los átomos del cálculo relacional de dominios tienen una de las siguientes formas: