shù huà > ōu shì kōng jiān
  shè v shì shí shù r shàng xiàn xìng kōng jiān , zài v shàng dìng liǎo 'èr yuán shí hán shù , chēng wéi nèi , zuò (@,#), yòu xià xìng zhì :
  1)(@,#)=(#,@);
  2)(k@,#)=k(@,#);
  3)(@+#,$)=(@,$)+(#,$);
  4)(@,@)>=0, dāng qiě jǐn dāng @=0 shí (@,@)=0.
   zhè @,#,$ shì v zhōng rèn de xiàng liàng, k shì rèn shí shùzhè yàng de xiàn xìng kōng jiān v chēng wéi 'ōu kōng jiān