Bijection iff Inverse is Bijection