Infinite Sequence Property of Strictly Well-Founded Relation

Theorem
Let $\struct {S, \RR}$ be a relational structure.

Then $\RR$ is a strictly well-founded relation there is no infinite sequence $\sequence {a_n}$ of elements of $S$ such that:
 * $\forall n \in \N: a_{n + 1} \mathrel \RR a_n$