Natural to finite set conversion