Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::relational::IsFunction Concept Referenceexport
module dedekind.relational

Concept definition

template<typename R, typename A, typename B, typename Ω bool>
concept dedekind::relational::IsFunction = dedekind::category::IsBinaryFunction<R, A, B, Ω>
dedekind::category::IsBinaryFunction
A binary relation R ⊆ A × B is a function when it is left-total AND right-unique.
Definition cartesian.cppm:1028
dedekind::relational::IsFunction
Definition graph.cppm:225