(wisk.). Twee ➝ verzamelingen E1 en E2 zijn eeneenduidig op elkaar afgebeeld, als aan 2 willekeurige, van elkaar verschillende elementen A1 en B1 van E1 volgens zekeren regel zijn toegevoegd 2 van elkaar verschillende elementen A2 en B2 van E2 en daarbij tevens ieder element van E2 als beeldelement voorkomt.
Dan is omgekeerd aan iedere ➝ deelverzameling van E2 een ondubbelzinnig bepaalde deelverzameling van E1 toegevoegd.J. Ridder.