وتكون أي مجموعة متكرِّرة فقط إذا كانت تمثِّل مجال أي دالة متزايدة كلية ومتكرّرة أو إذا كانت محدودة.
A set is recursive if and only if it is either the range of an increasing total recursive function or finite.