The correspondence theorem is one of the isomorphism theorems in algebra valid for both pairs (a group and its normal subgroup) and (a commutative ring and its ideal). Unfortunately, not many textbooks on algebra (or group theory or ring theory, for that matter) offer a detailed proof. Thus, this article may be of some use to students of mathematics.