#injective #mapping #set theory #domain #codomain #one-to-one mapping #visualization #math diagram