Ontify
Scheme morphism f: X → Y such that, for every field K, the induced function X(K) → Y(K) is injective.