Mingye Wang
says to
YSITD
属于是 in 被包含是 subset