Georg Cantor
This definition was first published by Georg Cantor, also in 1872, although his formalism was slightly different.