Pares de ángulos no adyacentes situados entre dos líneas paralelas y en lados opuestos de una transversal; estos ángulos son congruentes.