Comment by hyperhello

I don’t think it’s fair to call {}-> injective just because no two inputs map to the same output. That’s vacuous.