Vocabulary

真部分集合

proper subset

noun