هر گاه یک گروه و زیرگروه آن باشد ، آنگاه مجموعۀ همدسته های چپ (راست) یک افراز است . به عبارت دیگر گروه توسط مجموعۀ همدسته های چپ (راست) دوبدو متمایز افراز می‌گردد.
از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..
وزارت آموزش و پرورش > سازمان پژوهش و برنامه‌ريزی آموزشی
شبکه ملی مدارس ایران رشد
یک 
و 
باشند ،آنگاه 
را به صورت زیر تعریف می‌نماییم :
می‌نامیم و عضو 
را نماینده 
را همدستۀ راست 
را همدسته چپ 
نامیده و همدسته راست 
نشان داده می شود.
آنگاه 
دو عضو 
با ضابطه های زیر تعریف کنیم :
همدسته چپ 
آنگاه :
:
:
.
، بنابراین یکی از 
داریم :
دو همدسته چپ 
یا 