generated at
反射的
反射律を満たす