"In general topology, an embedding is a homeomorphism onto its image."

a homeomorphism to the image is not the same as a homeomorphism.

onto is not the same as to

	▲	noqc a year ago \| parent [-]
		everything is onto its image.