The concept of a semi-group in abstract algebra, examining elements in a set and their operations, allowing for the creation of new elements based on specific conditions