👉 A non-cursively defined set is a set where every element has an infinite number of predecessors. This means that, for any two elements in the set, there are infinitely many other elements between them. noncursively