Definition:Bijection/Technical Note