Changes

|}

|}

An IR of any object is a description of that object in terms of its properties.  A successful description of a particular object usually involves a selection of properties, those that are relevant to a particular purpose.  An IR of <math>L(\text{A})\!</math> or <math>L(\text{B})\!</math> involves properties of its elementary points <math>w \in W\!</math> and properties of its elementary relations <math>\ell \in O \times S \times I.\!</math>

An IR of any object is a description of that object in terms of its properties.  A successful description of a particular object usually involves a selection of properties, those that are relevant to a particular purpose.  An IR of A or B involves properties of its elementary points w C W and properties of its elementary relations r C OxSxI.

 

To devise an IR of any relation R one needs to describe R in terms of properties of its ingredients.  Broadly speaking, the ingredients of a relation include its elementary relations or n tuples and the elementary components of these n tuples that reside in the relational domains.

To devise an IR of any relation R one needs to describe R in terms of properties of its ingredients.  Broadly speaking, the ingredients of a relation include its elementary relations or n tuples and the elementary components of these n-tuples that reside in the relational domains.

The poset Pos (W) of interest here is the power set Pow (W).

The poset Pos (W) of interest here is the power set Pow (W).