単位律
unital
左単位律
右単位律