Free half group