commutes definition

commutes statement means the following. Factoring X → Y as X → Z →σ Y and given a