设R和S是P上的关系,P是所有人的集合,R={|x,y属于P且x是y的父亲},S={|x,y属于P且x是y的母亲},则S

　　设 R 和 S 是 P 上的关系,P 是所有人的集合,
　　　　R = {|x,y属于P,且x是y的父亲},S={|x,y属于P,且x是y的母亲},
则
S^(-1)={|y,z属于P,z是女性且y是x的儿女},
这样
[S^(-1)]▪R={|x,z属于P,且x是z的丈夫}.