It sounds trivial, but even my textbook couldn't give a definitive answer to this. Here goes:
IF module A USES module B and module B USES module C, then do we say (formally) that module A USES module C?
In other words, is the USES relation between modules transitive or does it stop at one level deep?
If the USES relation is transitive, that means it supports DIRECT and INDIRECT relations (closures) between modules. If it isn't transitive, that means it only supports DIRECT relations between modules.
