theorem Th15: :: ARMSTRNG:15

for X being set holds dom (Dependencies-Order X) = [:(bool X),(bool X):]