Triangular Idempotent Matrices over a General Ring

A characterization of idempotency is given for triangular matrices with entries from an arbitrary ring. This yields an elementary approach to constructing such matrices. It also reveals structure allowing for the explicit enumeration or implicit counting of all idempotent triangular matrices over a given finite ring.