N×N上の直積狭義順序の反射閉包.
N×N