排他集合の確認

 下記で、「後休みの呼び出し回数」と「前休の呼び出し回数」は、互いに排他的な曜日集合である必要があります。

ここで、「前休」とは、「休みの前」を指します。休みの前のオンコール呼び出しの回数を指します。この曜日集合は、

一方、「後休」とは、休みの後、正確には、「前休」以外の全ての日になります。

「後休」と「前休」は、互いに交わることがなく、かつ、「後休」と「前休」を足すと全集合になります。このような集合を排他集合と言います。曜日集合では、しばしば、この排他集合が必要になります。

休み前の呼び出しカウントと、休み後の呼び出しカウントは、ダブってはいけないし、同時に、カウント取りこぼし日もあってはならない、こうした要求には、排他集合が必要になります。

それでは、どのようにして排他的であることを確認すればよいでしょうか？

排他的であることを確認するには、「かつ」オペレーションで、空集合、「または」オペレーションで、全集合（今月）を確認すれば、よいです。