Concept class
ConceptClassabbrev
A concept class over a domain α with labels in β is a set of functions α → β — the hypotheses a learner is allowed to consider. For binary labels it is equivalently a family of subsets of α.
abbrev ConceptClass (α β : Type*) := Set (α → β)Used by
From Mathlib
import Conjectura.Defs.ComputerScience.Learning.ConceptClass · maintainer — open · raw source
Adapted for Conjectura from cslib, split into one concept per module. Released by its authors under Apache 2.0.
Copyright (c) 2026 Samuel Schlesinger. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Authors: Samuel Schlesinger