User:Leigh.Samphier/Refactor

Refactor

 * Definition:B-Algebra

User:Leigh.Samphier/Refactor/Definition:B-Algebra

User:Leigh.Samphier/Refactor/Axiom:B-Algebra Axioms


 * Definition:Bounded Lattice/Definition 2


 * Definition:Inner Product


 * Definition:Lattice/Definition 3


 * Definition:Measure (Measure Theory)


 * Definition:Metagraph


 * Definition:Semiring of Sets


 * Definition:Sigma-Algebra/Definition 1


 * Definition:Stencil