Asociación (ontología)
# Asociación (ontología)

En la teoría ontológica de la asociación de Mario Bunge, la asociación es un concepto primitivo que representa la única propiedad de los individuos sustanciales. Se designa con el símbolo * y es introducido en el primer postulado de la teoría de la asociación.

Sea S un conjunto no vacío, a un elemento distinguido de S, y sea * una operación binaria en S. Entonces la estructura E = ( S , a , * ) satisface las siguientes condiciones:

* E es un monoide conmutativo de idempotentes.
* S es el conjunto de todos los individuos sustanciales o concretos.
* El elemento neutro a es el individuo nulo.
* * representa la asociación de individuos.
* La sarta $a_1$ * $a_2$ * ... * $a_n,$ donde $a_i$ pertenece a S, para 1 ≤ i ≤ n, representa el individuo compuesto de los individuos $a_1$ a $a_n.$

En la teoría de la asamblea se introducen dos clases de asociación: la yuxtaposición y la superposición.

