\section{定義} \subsection{honest}
において, かつ であるような dom()が少なくとも1つ存在するような多項式がいくつか存在するならば,関数はhonestと呼ばれる.
\subsection{completely honest}
全ての要素 rangeと全ての要素 dom()において,もし である時となる多項式がいくつか存在するならば関数はcompletely honestと呼ばれる.
下から選んでください: