これは "a" の閉包 "a" が "x" に一致すると言ってもよい。