صياغة المتباينات