Formale Begriffsanalyse

$$A'=\left\{m\epsilon M\ ;\ gIm\ für\ alle\ g\epsilon A\right\}$$  

$$A'=\left\{g\epsilon G\ ;\ gIm\ für\ alle\ g\epsilon A\right\}$$  

A'= {"alle gemeinsamen Merkmale von allen g in A"}

A'= {"alle gemeinsamen Inhalte von allen g in A"}

$$B'=\left\{m\epsilon M\ ;\ gIm\ für\ alle\ m\epsilon B\right\}$$  

$$B'=\left\{g\epsilon G\ ;\ gIm\ für\ alle\ m\epsilon B\right\}$$  

B'= {"alle gemeinsamen Gegenstände von allen m in B"}

B'= {"alle gemeinsamen Inhalte von allen g in A"

A'=B

und

B'=A

A''=B

und

B=A''

B'=A'

und

B=A'

A'=B''

und

B'=A''

Begriff

Element von B(G,M,I)

Paar Teilmengen von A

Begriff, wenn gilt: $$A''\subseteq M$$  

einen Begriff

die Menge aller Begriffe, des Kontextes (G,M,I)

die Menge aller Begriffsinhalte, des Kontextes (G,M,I)

die Menge aller Begriffe, des Kontextes (G,A,B)

({1,4},{a,b})

({1,4},{a,b,c})

({1,4,5},{a,b})

({1},{a})

({},{a,b,c,d})

(a,b,c,d)

Es gibt in diesem Verband kein Infimum.

({a,b,c,d},{})