Операция, результирующее отношение которой содержит пересечение образов всех строк отношения-делителя, вычисленного на основе отношения-делимого: