Półgrupa transformacji