equipollentness

not defined yet