Arrays 离散数学数组与二元关系

给出了两个长度均为M的数组a和b。给出了一个二元关系R。

---

正式指定一个程序，以确定a和b的对应元素是否都通过关系R相关。

假设您正在测试a[i]R[i]：

for i=1..M:
  if not (a[i] R b[i]):
    return false
return true

---

这是家庭作业吗？你脑子里有没有特定的语言？那是作业，没有特定的语言。但它应该显示一个正式的程序，带有适当的离散数学逻辑。我猜它应该有一个for循环。