instantiate parameter oelem < olist-min-max with nat by mapping

: Elem → Nat;

end instantiate
