{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Assurance Initiative: An Assurance Initiative is an Initiative designed to uphold operational trustworthiness by mitigating Risks, countering threats, and complying with regulatory requirements. Documentation : https://framework.sysfeat.com/pages/299e895568488eb3.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.SOF.299e895568488eb3 where -- ========== Assurance Initiative open import Agda.Primitive open import SysFEAT.SOF.d321c226601262ae public -- Enduring Initiative AssuranceInitiative : ClassOfBoundedIndividual AssuranceInitiative = BoundedIndividual -- AssuranceInitiative is subTypeOf EnduringInitiative st-299e895568488eb3-d321c226601262ae : AssuranceInitiative ⊏ₑ EnduringInitiative st-299e895568488eb3-d321c226601262ae = polySubTypeOf-identity -- == Relations =======================