Weak inclusion systems
Virgil Emil Căzănescu, Grigore Roşu · Mathematical Structures in Computer Science · 1997
We define weak inclusion systems as a natural extension of inclusion systems. We prove that several properties of factorisation systems and inclusion systems remain valid under this extension and we obtain new properties as algebraic tools in abstract model theory.