この式sat([φ(x1)],s)を用いて、ラヨ数は次の様に定義された。