ø真包含于{ø}