با در نظر گرفتن m به‎ عنوان کلاسی از همه تکریختی ها در رسته a ، برای‎ مفاهیم ریاضی ‏نظیر انژکتیوی‏، حاصلضرب های تانسور و یکدست بودن نیاز به اطلاعات جبری بیشتری در خصوص زوج (a,m) داریم. ‎در‎ این پایان نامه a را‎‎‎‎‎‎ رسته همه ‎‎-sسیستم ها روی نیم گروه s و m_d را کلاس تکریختی های چگال دنباله ای در نظر می گیریم.در این خصوص مفاهیمی از قبیل حد و هم حد ا‏ین زوج ها را مورد مطالعه قرار می دهیم.بخشی از پایان نامه به طور مختصر به مبحث عملگر بستار ‏دنباله ای اختصاص دارد.