In geometry, HL stands for Hypotenuse Leg. The HL theorem states that if the hypotenuse and a leg of one right triangle are congruent to the hypotenuse and a leg of another right triangle, then the two triangles are congruent. This theorem is useful for proving that two triangles are congruent.