شرط ناتهی بودن مجموعهٔ A به این دلیل است که مجموعه تهی «کوچک‌ترین عضو» ندارد و هر مجموعهٔ ناتهی «کوچک‌ترین عضو» دارد .
ʃˈart nˈɑteːˌi bˈuːdan mˌadʒmuːʔˈeːje (en)ˈeɪ(fa) beː iːn dˈalil ˈast kˈeː mˌadʒmuːʔˈeː tˈohi «kˈuːtʃaktˈarin ˈozv» nˈadɑrˌad vˈa har mˌadʒmuːʔˈeːje nˈɑteːˌi «kˈuːtʃaktˈarin ˈozv» dˈɑrad .