When the objects of the set S are sufficiently "constructive", it is common to look at numberings that can be effectively decoded (Ershov 1999:486).
集合 S の対象が十分に"構成的"であるとき、ナンバリングは実効的にデコードできるものに注目するのが一般的である（Ershov 1999:486）。