Description: Member of domain of the partial isomorphism B. (Contributed by NM, 17-Jan-2014) (New usage is discouraged.)