feat(order/galois_connection, linear_algebra/basic): x ∈ R ∙ y is a transitive relation (#10943)
x ∈ R ∙ y