تابعگون پادوردا
contravariant functor
دستگاه وارون
inverse system
inverse limit
حد وارون
رسته
category
جبر مانستگی
homological algebra
completion
تکمیل‌
index set
مجموعه اندیس
quasi-ordered set
مجموعه شبه‌مرتب