part of connected to a is connected to b if and only if a and b are discrete structure, and there exists some connecting structure c, such that c connects a and b mereotopologically related to system