Home » Courses » Electrical Engineering and Computer Science » Mathematics for Computer Science » Unit 1: Proofs » 1.7 Binary Relations » 1.7.6 A inj B
For finite sets \(A\) and \(B\), \(\;A \text{ inj } B\) is equivalent to: