用文字语言表示“M∈α,L真包含于α,M∈L”