Правая единица - это такой элемент $\Large j$ из множества $\Large X$, который в композиции с любым элементом $\Large a$ из данного множества $\Large X$, этот (любой) элемент $a$ не меняет, то есть:
$\Large a*j=a\,\,\,$ для $\Large \,\,\,\forall a\in X$
