IsSymmetricFractionalPolymorphismFor

English

A fractional operation ω is a symmetric fractional polymorphism for a VCSP template Γ if it is a fractional polymorphism for Γ and symmetric.

Русский

Фракционная операция ω является симметричным фракционным полиморфизмом для VCSP-шаблона Γ, если она является фракционным полиморфизмом Γ и симметрична.

LaTeX

$$$\\omega.IsFractionalPolymorphismFor(Γ) ∧ ω.IsSymmetric$$$

Lean4

/-- Fractional operation is a symmetric fractional polymorphism for given VCSP template. -/
def IsSymmetricFractionalPolymorphismFor (ω : FractionalOperation D m) (Γ : ValuedCSP D C) : Prop :=
  ω.IsFractionalPolymorphismFor Γ ∧ ω.IsSymmetric

Похожие утверждения