Quasivariety
গণিতে, কোয়াসিভ্যারিয়েটি হল বীজগাণিতিক কাঠামোর একটি শ্রেণী যা শ্রেণীকে সংজ্ঞায়িত করে স্বতঃসিদ্ধগুলির উপর সমতুল্য অবস্থার অনুমতি দিয়ে বৈচিত্র্যের ধারণাকে সাধারণীকরণ করে। সংজ্ঞা একটি তুচ্ছ বীজগণিতে কেবল একটি উপাদান থাকে। একটি কোয়াসিভেরিটি হল অ্যালজেব্রার একটি শ্রেণী কে যার একটি নির্দিষ্ট স্বাক্ষর রয়েছে যা নিম্নলিখিত সমতুল্য শর্তগুলির যে কোনও একটি পূরণ করে। 1. কে হল একটি ছদ্ম উপাদান শ্রেণী যা সাবঅ্যালজেব্রা এবং সরাসরি পণ্যের অধীনে বন্ধ থাকে। 2. K হল অর্ধ-পরিচয়ের একটি সেটের সমস্ত মডেলের শ্রেণী, অর্থাৎ, ফর্মের প্রভাব, যেখানে নির্দিষ্ট স্বাক্ষরের অপারেশন প্রতীকগুলি ব্যবহার করে ভেরিয়েবল থেকে তৈরি পদগুলি। 3. কে-তে একটি তুচ্ছ বীজগণিত রয়েছে এবং এটি আইসোমরফিজম, সাবঅ্যালজেব্রা এবং হ্রাসকৃত পণ্যের অধীনে বন্ধ থাকে। 4. কে-তে একটি তুচ্ছ বীজগণিত রয়েছে এবং এটি আইসোমরফিজম, সাবঅ্যালজেব্রা, ডাইরেক্ট প্রোডাক্ট এবং আল্ট্রাপ্রডাক্ট-এর অধীনে বন্ধ থাকে। উদাহরণস্বরূপ, প্রতিটি বৈচিত্র্য হল একটি অর্ধ-বৈচিত্র্য কারণ একটি সমীকরণ একটি অর্ধ-পরিচয় যার জন্য n = 0। বাতিলকারী আধা-গোষ্ঠীগুলি একটি অর্ধ-বৈচিত্র্য গঠন করে। K কে একটি অর্ধ-বৈচিত্র্য হিসাবে ধরা যাক। তারপর কে থেকে অর্ডারযোগ্য অ্যালজেব্রার শ্রেণী একটি কোয়াসিভ্যারিয়েটি গঠন করে, যেহেতু প্রিজারভেশন-অফ-অর্ডার স্বতঃসিদ্ধগুলি হর্ন ধারা। তথ্যসূত্র সার্বজনীন বীজগণিত