1. (у математиці, зокрема в теорії категорій) Пов’язаний із властивістю категорії, коли будь-який епіморфізм є ретракцією, або ж стосовний до класів об’єктів, що мають подібні характеристики.
2. (у логіці та теорії моделей) Стосунний до властивості теорії, коли об’єднання будь-якої ланцюгової сім’ї її моделей, впорядкованої за відношенням підмоделі, також є моделлю цієї теорії.