همریختی

تابعی از یک دستگاه جبری به دستگاهی جبری از همان نوع که عمل‌های جبری را حفظ می‏کند