Definition, Äquivalenzbedingungen und Beispiele injektiver Module