Por cada tupla de la relación externa, se recorre "completamente" la relación interna, y toda tupla que verifique la condición de combinación se añade al resultado.