To prove this fact, we may suppose without loss of generality that and are two cylindric sets of the form:
for suitable finite subsets and functions . Then the only chance for to be empty, is that for some , such that : but then, , which is finite.
|Date of creation||2013-03-22 19:19:32|
|Last modified on||2013-03-22 19:19:32|
|Last modified by||Ziosilvio (18733)|