ב[[אלגברה מופשטת]], '''חבורה למחצה''' (נקראת גם: '''אגודה''' או '''קבוצית''') היא [[מבנה אלגברי]] הכולל קבוצה ו[[פעולה בינארית]] [[אסוציאטיביות|אסוציאטיבית]]. חבורה למחצה שיש לה, בנוסף, [[איבר יחידה]], היא [[מונואיד (מבנה אלגברי)|מונואיד]]. העבודות הראשונות על חבורות למחצה הן של P. Hoyer ב-[[1902]] ו-J.A. de Seguier ב-[[1904]]
{{הערה|The History of Combinatorial Group Theory: A case study in the history of ideas, Chandler and Magnus, 1980; p. 49}}