Dear Stephan,
Thanks a lot for the reply.
This will exactly refer to two specific sets S and R, more precisely to inclusion relation between these two specific sets.
Yes, exactly.
No, this is not needed. I only need all pairwise relations of sets that can be derived from the...