Esempio n. 1
0
def DR(contains, requires, supplies):
    return diff(diff(join(contains, requires), join(contains, supplies)),
                requires)
Esempio n. 2
0
def DS(contains, supplies):
    return diff(dr(dom(contains), supplies), join(contains, supplies))