Definitions for "Injective"