· Cumple la misma función que el cuantificador existencial del cálculo relacional
· No puede devolver más tuplas que el producto cartesiano
· Permite conservar valores duplicados en el resultado de las consultas
· Es una operación fundamental del álgebra relacional
