You don't need both bounds anyway. A countable set without a lower bound in any representation is already a paradox.