A predeclared enriched subclass

Reciprocal separation makes the maximum well defined: a separated subset of $(1,\infty )$ has only finitely many elements below any fixed bound and has an attained minimum.

The conditions are exact structural assumptions, not assertions certified by finitely many noisy shots.