bijective <=> injective /\ surjective