A B one-to-one function