aがbの一部分であるという意味で部分集合という。