设R和S是P上的关系，P是所有人的集合，R={|x是y的父亲};S={|x是y的母亲}，则={|x是y的孙子或孙女}