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

Family of Measurement: 
A Family of Measurement is a top level grouping of Condition Category(ies) that belong to a common domain.
 - ============================== -}

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

module 6f9c71356a0f3116 where -- ========== Family of Measurement

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 0eb97aff6855cd23 public -- Model Property Block
open import f69619236a0f8dcd public -- Category

postulate
  FamilyOfMeasurement : ∀ {u} → Category u

postulate --  FamilyOfMeasurement is subTypeOf ModelPropertyBlock
  st-c2f2a61766ea39ec : ∀ {u} → (FamilyOfMeasurement {u}) ⊏⋆ₑ (ModelPropertyBlock {u})

postulate --  FamilyOfMeasurement is subTypeOf Category
  st-bb5dc52c6a0257db : ∀ {u} → (FamilyOfMeasurement {u}) ⊏⋆ₑ (Category u)

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