"x" の属する同値類["x"]は