可逆律
invertible
左可逆律
右可逆律