{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Technology Risk Type: 
A Technology Risk Type refers to a distinct category or classification of risk associated to the use of Technology Systems.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 5d4e752066f27329 where -- ========== Technology Risk Type

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 0e55206a66f11ec5 public -- Risk Type

postulate
  TechnologyRiskType : ThirdOrderClass

postulate --  TechnologyRiskType is subTypeOf RiskType
  st-97f89ce365ae5996 : TechnologyRiskType ⊏⋆ₑ RiskType

-- == Relationships =======================

{- Technology Risk Type:  -}
postulate -- Relation: Technology Risk Type
  technologyRiskType : classOfOrderedRelation  TechnologyRiskType TechnologyRiskType