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

Set of Environmental Condition Type: 
A Set of Environmental Condition Type is an  and  combination of Condition Property Types.Example:.  Delivery time  at  appropriate cost  in  stormy conditions .

Documentation : https://framework.sysfeat.com/pages/e53af87666e37fcd.htm

External references:
  OMG - UAF - MeasurementSet: https://www.omg.org/spec/UAF/1.2/Beta1/DMM/PDF#MeasurementSet
 - ============================== -}

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

module SysFEAT.SOF.e53af87666e37fcd where -- ========== Set of Environmental Condition Type

open import Agda.Primitive
open import SysFEAT.SOF.e53af71366e37de2 public -- Condition Property Type

SetOfEnvironmentalConditionType : ThirdOrderClass
SetOfEnvironmentalConditionType = SecondOrderClass


--  SetOfEnvironmentalConditionType is subTypeOf ConditionPropertyType
st-e53af87666e37fcd-e53af71366e37de2 : SetOfEnvironmentalConditionType ⊏ₑ ConditionPropertyType
st-e53af87666e37fcd-e53af71366e37de2 = polySubTypeOf-identity


-- == Relations =======================

-- -------------------------------------------------------------------------------------------- 
{- Combined Condition Type: 
Set of Condition Property Types.
-}
combinedConditionType :  Linkage SetOfEnvironmentalConditionType SetOfEnvironmentalConditionType
combinedConditionType = make_classOfHolonymy "Combined Condition Type" "Combined Condition Type"

postulate -- combinedConditionType is subTypeOf propertyTypeHolonymy
  st-c2f278bb66ea258a-9653a4ad6970107b  : combinedConditionType  ⊏⋆ᵣ  propertyTypeHolonymy