On the semigroup of fully indecomposable relations
We consider the question whether, for given fuzzy numbers, there are different pairs of -norm such that the resulting membership function within the extension principle under addition are identical. Some examples are given.
An earlier paper [Starosolski A., P-hierarchy on βω, J. Symbolic Logic, 2008, 73(4), 1202–1214] investigated the relations between ordinal ultrafilters and the so-called P-hierarchy. The present paper focuses on the aspects of characterization of classes of ultrafilters of finite index, existence, generic existence and the Rudin-Keisler-order.
A projection of a relation is defined as a relation of reduced arity. The paper deals with projections of relations in coherence with their reflexivity, symmetry, completeness, regularity, cyclicity and other properties. Relationships between projections of hulls and hulls of projections are also studied.