18/05/23 01:31:18.18 1DxWfvsk.net
正確にはこうです。
プログラムの3を19に変えてn=7で、
---
(4) A' の各元 a に対し、19a+1 がどの Bi に属すかを見る。（どの Bi にも属さないこともある）
---
で全ての19a+1が属さないのです。
プログラム上ではオールNothingになります。
18/05/23 01:31:18.18 1DxWfvsk.net
正確にはこうです。
プログラムの3を19に変えてn=7で、
---
(4) A' の各元 a に対し、19a+1 がどの Bi に属すかを見る。（どの Bi にも属さないこともある）
---
で全ての19a+1が属さないのです。
プログラム上ではオールNothingになります。