uma constante de tupla precisa conter uma relação de atributos.

a tupla de um atributo contém relações entre variáveis.

uma variável de tupla precisa estar associada a uma relação.

uma tupla de variável precisa conter uma tupla de relação.

variáveis e tuplas são especificadas por objetos relacionados.