差分

を満たす相異なる自然数$$a_1\ldots a_n$$の組を'''素微分社交数'''とする。