1.7 Binary Relations

A inj B

For finite sets $$A$$ and $$B$$, $$\;A \text{ inj } B$$ is equivalent to:

Exercise 1

An injective function from $$A$$ to $$B$$ or a surjective relation from $$B$$ to $$A$$ do not guarantee $$A \text{ inj } B$$.