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

Networking System: 
A Networking System is a Technology System that provides networking capabilities offered through Network Interfaces.
 - ============================== -}

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

module 070b0d5564011dbb where -- ========== Networking System

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 26b8384f5eeae33c public -- Networking System
open import 0cbd1fa663fe18ac public -- Technology System

postulate
  NetworkingSystem : ClassOfClassOfBoundedIndividual

postulate --  NetworkingSystem is subTypeOf NetworkingSystem
  st-070b0d8064011e09 : NetworkingSystem ⊏⋆ₑ NetworkingSystem

postulate --  NetworkingSystem is subTypeOf TechnologySystem
  st-070b0e1164011e9b : NetworkingSystem ⊏⋆ₑ TechnologySystem

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