「一方向性関数」の版間の差分

削除された内容 追加された内容
23行目:
''I'' を &Sigma;<sup>*</sup> の部分集合とし、
 
''D'' = {''D''<sub>''n''</sub>}<sub>''n'' &isin; ''I''</sub>、''R'' ={''R''<sub>''n''</sub>}<sub>''n'' &isin; ''I''</sub> を &Sigma;<sup>*</sup> の
 
{''R''<sub>''n''</sub>}<sub>''n'' &isin; ''I''</sub> を &Sigma;<sup>*</sup> の
 
部分集合の族とする。