Delete comment from: Elegant Coding
Havvy said...
Transitive∀ x,y,z ∈ S if (x,y) ∈ R and (y,z) ∈ R then (y,z) ∈ R
That last (y, z) should be (x, z).
Sep 24, 2012, 3:39:10 AM
Posted to Lattice Theory for Programmers and Non Computer Scientists
Transitive∀ x,y,z ∈ S if (x,y) ∈ R and (y,z) ∈ R then (y,z) ∈ R
That last (y, z) should be (x, z).
Sep 24, 2012, 3:39:10 AM
Posted to Lattice Theory for Programmers and Non Computer Scientists