dedekind::relational::LawSet< Re, W > Struct Template Reference

The relations certified the law W: a datum on the universe of relations, so 𝔸<Re>{} & Total<Re>{} is the set of total relations, membership its χ in K₃ (inferred, or not), and a map or an isomorphism a meet of such sets, nothing stored. Its χ obeys the facts the set is declared: closed under >>, so S(f) ∧ S(g) ≤ S(f >> g); a down-set or an up-set in ⊆; carried by ° to its dagger law. Its complement is never inhabited by inference (¬True, else Unknown): Σ, not Π. More...

Public Types
using	Domain = Re
using	Codomain = dedekind::category::Ternary

Public Member Functions
constexpr Codomain	operator() (const Re &r) const

Detailed Description

template<typename Re, Law W>
struct dedekind::relational::LawSet< Re, W >

The relations certified the law W: a datum on the universe of relations, so 𝔸<Re>{} & Total<Re>{} is the set of total relations, membership its χ in K₃ (inferred, or not), and a map or an isomorphism a meet of such sets, nothing stored. Its χ obeys the facts the set is declared: closed under >>, so S(f) ∧ S(g) ≤ S(f >> g); a down-set or an up-set in ⊆; carried by ° to its dagger law. Its complement is never inhabited by inference (¬True, else Unknown): Σ, not Π.

Template Parameters

Re	the relation type.
W	the law.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/relational/rows.cppm