ただし、基本図形iが基本図形iiを含むとは、iがiiの真部分集合という意味で言う。