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

Software Technology Capability: 
A Software Technology Capability is a Technology Capability offered by Software Technology Systems and aimed at producing Software Technology Outcome Events.Software Technology Capabilitys define WHAT Software Technology Systems can do, They are used to understand whether two types of Software Technology Systems are fundamentally doing the same thing.They are also used in Software Technology ArcOps to identify where there are redundancies in Technology Portfolios.
 - ============================== -}

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

module dd27aff168a108b9 where -- ========== Software Technology Capability

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import dd27b08d68a10b12 public -- Technology Capability

postulate
  SOftwareTechnologyCapability : PropertyType

postulate --  SOftwareTechnologyCapability is subTypeOf TechnologyCapability
  st-ef69a7cc63db3506 : SOftwareTechnologyCapability ⊏⋆ₑ TechnologyCapability

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