IC = NAT by SCMFSA_1:5, SUBSET_1:def 8;