まあ元はと言えば有限の立場とは証明論に関しての用語ですから、対象の集合が有限かどうかには関係ないのでしょうけど