From 72a2095583c69c9ad67e2ace5e855ab1ac4417a5 Mon Sep 17 00:00:00 2001 From: "Prof. Dr. Volker Coors" <volker.coors@hft-stuttgart.de> Date: Sun, 19 Jul 2020 09:48:19 +0000 Subject: [PATCH] Update 01 Background_and_Definitions.adoc --- .../01 Background_and_Definitions.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/D01 Integration of INSEL Models and SimStadt/01 Background_and_Definitions.adoc b/D01 Integration of INSEL Models and SimStadt/01 Background_and_Definitions.adoc index ae75dae..b69966d 100644 --- a/D01 Integration of INSEL Models and SimStadt/01 Background_and_Definitions.adoc +++ b/D01 Integration of INSEL Models and SimStadt/01 Background_and_Definitions.adoc @@ -42,7 +42,7 @@ Birkhoff and Lipson (1968) have defined a heterogeneous algebra as a system A=[ 1. Σ={S~i~} is a family of non-void sets S~i~ of different types of elements, each called a *phylum* of the algebra A. The *phyla* S~i~ are indexed by some set I; i.e. S~i~∈Σ for i∈I (or are called by appropriate names). 2. F={f~α~} is a set of finitary operations, where each f~α~ is a mapping f~α~:S~i(1,α)~×S~i(2,α)~×⋯ ×S~i(n(α),α)~→S~r(α)~ -for some non-negative interger n(α), function i~α~:k→i(k,α) from {1,2,⋯,n(α)} to I, and r(α)∈I. The operations f~α~ are indexed by some set Ω; i.e. f~α~∈F for α∈Ω (or are called by appropriate names). +for some non-negative integer n(α), function i~α~:k→i(k,α) from {1,2,⋯,n(α)} to I, and r(α)∈I. The operations f~α~ are indexed by some set Ω; i.e. f~α~∈F for α∈Ω (or are called by appropriate names). Thus each operation f~α~ assigns to each n(α)-tuple (x~1~,⋯,x~n~(α) ), where x~j~∈S_(i(j,α)), some value f~α~ (x~1~,⋯,x~n(α)~ ) in S~r(α)~. The operation f_α is said to be n(α)-ary: unary when n(α)=1, binary when n(α)=2, ternary when n(α)=3, etc. When n(α)=0, it selects a fixed element (distinguished constant) of S_(r(α)). -- GitLab