Row Constant Relations

Better known as Vectors and Points

$\textbf{RowConstant} \; A \; B \; R$

---

$\textbf{Relation} \; A \; B \; R$

---

pred RowConstant(A,B,C: set univ, R: univ->univ) {
  Relation[A,B,R]
  R = R.(B->C)
}

$\textbf{Point} \; A \; B \; R$

---

$\textbf{RowConstant} \; A \; B \; R$

$\textbf{Injective} \; A \; B \; R$

$\textbf{Surjective} \; A \; B \; R$

---

pred Point(A,B: set univ, R: univ->univ) {
  RowConstant[A,B,B,R]
  Injective[A,B,R]
  Surjective[A,B,R]
}