Skip to content
Journals Garden

Composition

  • Composition #Card
    • For relations $R \subset X \times Y$ and $S \subset Y \times Z$, the composition $S \circ R \subset X \times Z$ is defined by: $$(S \circ R)x := S(Rx)$$

Back

Section titled “Back”

For relations $R \subset X \times Y$ and $S \subset Y \times Z$, the composition $S \circ R \subset X \times Z$ is defined by: $$(S \circ R)x := S(Rx)$$

Lean

Section titled “Lean”

Function.comp (g ∘ f) / 関係の合成 Rel.comp