運算式 7: "f" left parenthesis, "x" , right parenthesis less than or equal to "y" less than or equal to 0 left brace, "a" less than or equal to "x" less than or equal to "k" , right bracefx≤y≤0a≤x≤k
7
運算式 8: 0 less than or equal to "y" less than or equal to "f" left parenthesis, "x" , right parenthesis left brace, "x" less than or equal to "k" , right brace0≤y≤fxx≤k
8
運算式 9: "X" equals left parenthesis, "k" , "F" left parenthesis, "k" , right parenthesis , right parenthesisX=k,Fk
9
運算式 10: "F" Subscript, "s" , Baseline equals "F" left parenthesis, "k" , right parenthesisFs=Fk
