> > 6) Is it true that in each case, \$$(A \vee B)\leq C\$$?
> It is not true in general. Although this happened to be true in my selection example. It is not true in general, because \$$\vee\$$ can produce generative effects, such as new connections, that were not part of \$$C\$$, given how \$$C\$$ could be selected according to 5.
I thought that by definition \$$(A \vee B) \le C \$$ if both \$$A \le C \$$ and \$$B \le C \$$ (which are the criteria for selecting \$$C\$$, stated in part 5 of the exercise).