Isomorf beskriver en relation mellan två strukturer, ofta matematiska eller logiska, där det finns en bevarad avbildning mellan dem. Denna avbildning, en isomorfism, är både injektiv (en-till-en) och surjektiv (på), vilket innebär att strukturerna har exakt samma form och egenskaper, trots att de enligt etablerade definitioner.