:: deftheorem defines Dependencies ARMSTRNG:def 6 :
for X being set holds Dependencies X = [:(bool X),(bool X):];