Isomórfico: transformação biunívoca que preserva operações.