不可约对应

irreducible correspondence