Semigruppi di trasformazioni multivoche