左単位律
left unital