Uma operação relacional com argumentos, relações A e B, cujos componentes estarão contidos também na relação resultante, denomina-se