とりあえずぱっとできる一般化は
「m,nが互いに素である２以上の自然数であるとき1〜2(m+n)の中からどの２元の差もmにもnにもならない部分集合の元数の最大値はm+n-1」
かな？