English
A FractionalOperation D m is simply a finite multiset of functions from D^m to D. It encodes a collection of potential polymorphisms with repetition allowed.
Русский
Фракционная операция — это конечная мультисет функций из D^m в D, допускающий повторения и представляющий набор полиморфизмов.
LaTeX
$$$\\text{FractionalOperation }(D,m) := \\mathsf{Multiset}((\\mathbb{F}^m\\to D)\\to D)$$$
Lean4
/-- Fractional operation is a finite unordered collection of D^m → D possibly with duplicates. -/
abbrev FractionalOperation (D : Type*) (m : ℕ) : Type _ :=
Multiset ((Fin m → D) → D)