BiMap view, inverse functions