"Agent Smith" <Agent_member@pathlink.com> wrote in message news:cg4o6e$7gg$1@digitaldaemon.com...
> In article <cg4n3m$71g$1@digitaldaemon.com>, Matthias Becker says...
>
> >I and B aren't covariant!!!
>
> What does "covariant" mean?
>
> Does "covariant" have anything to do with "invariant"?
> ^^                                   ^^
>
> The prefix "co-" (as in "co-worker", "co-operation") implies symmetry.
That is,
> I would expect that A is covariant with B if and only if B is covariant
with A.
> Would that be a reasonable assumption?

No. If "A" is a subset of "B", that doesn't imply that "B" is a subset of "A".