w_I @! && w_IuT_uT_yv_Iiiiiiiiiyv_Iy_ZEx2 infimum supremumpcy_Zu*_Exr infimum supremumpcu*_==_Ex2 infimum supremumpc==_^>_IExr infimum supremumpc^>_I