Property: finite

Definition: $R$ has only finitely many elements