the monomorphisms in ord are the injective order preserving functions iminota mirongo icyenda y'umukino dickerson pursued mining in idaho montana and nevada