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

Business Partner: 
A Business Partner is a state of a Resource Agent Type, who acts as a party interacting with the enterprise in the context its operating eco-system (the Resource Operating Ecosystem).Example : Private Sector Customer, Regulation Authority, Public health Authority.
 - ============================== -}

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

module 08d17cde678a2b47 where -- ========== Business Partner

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import bcebd31f5491302c public -- Business Agent Type

postulate
  BusinessPartner : ClassOfClassOfBoundedIndividual

postulate --  BusinessPartner is subTypeOf BusinessAgentType
  st-8f1cd6df68cabad4 : BusinessPartner ⊏⋆ₑ BusinessAgentType

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