Tosif ali `(Ø,G)`꧁ IP ꧂