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