计算机 判断题 标准

关系的复合与逆 — 计算机判断题

离散数学(大学通用) 关系 AI 三重审校通过

题目
设 A={a,b,c,d},B={1,2,3},C={u,v},R={(a,1),(b,2),(c,2),(d,3)}⊆A×B,S={(1,u),(2,v),(3,u)}⊆B×C。定义 S∘R={(x,z)∈A×C:存在 y∈B,使 (x,y)∈R 且 (y,z)∈S}。判断:若 (x,z)∈(S∘R)⁻¹,则必有 (z,x)∈R⁻¹∘S⁻¹。