X''上の自己射全体の成す集合End''C''(''X'')は射の結合に関してモノイドを成す.
X''上の自己射全体の成す集合End''