In that case, a system is precisely the same as an action of B on the set X, where U is the union of sets U, thought of as a semigroup with a partially defined binary operation (concatenation).
ในกรณีที่ระบบเป็นอย่างแม่นยำเช่นเดียวกับการกระทำของ B บน X ชุดที่ที่ U เป็นสหภาพของชุด U, ความคิดของการเป็นกึ่งกลุ่มที่มีการดำเนินการทวิภาคที่กำหนดไว้บางส่วน (กำหนดการ)