Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: set partitions

Sortuj według:

Ogranicz wyniki do:

Finite Product of Semiring of Sets

100%

Coghetto R.

Formalized Mathematics

2015

tom 23

nr 2

107-114

We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets.We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use here the notation from the book of Aliprantis and Border [1].

Semiring of Sets

80%

Coghetto R.

Formalized Mathematics

2014

tom 22

nr 1

79-84

Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.

Ograniczanie wyników

2 Formalized Mathematics

2 Coghetto R.

1 2015

1 2014

Wyniki wyszukiwania

Finite Product of Semiring of Sets

Semiring of Sets