lambda1@tg says to YSITD That simply amounts to finding distinct elements in domain that gets mapped to the same "point" in codomain