for A being Ordinal holds inf A = {}