injective notation