を満たす(ただし、積は写像の合成によって定める)。