equipotent

Two statements in logic are said to be equipollent if they are deducible from each other. Two sets A and B are said to be equipollent iff there is a one-to-one correspondence (i.e., a bijection) from A onto B. The term equipotent is sometimes used instead of equipollent.