Se implementa un procedimiento con un par de for eachs andidados, donde la información del for each externo está relacionada con la del for each interno por una relación uno a muchos. Se explica la diferencia de este caso (join) con aquel en el que no hay relación evidente entre la información (producto cartesiano).