Collective Operations on Number-Membered Sets

Open access

Collective Operations on Number-Membered Sets

The article starts with definitions of sets of opposite and inverse numbers of a given number membered set. Next, collective addition, subtraction, multiplication and division of two sets are defined. Complex numbers cases and extended real numbers ones are introduced separately and unified for reals. Shortcuts for singletons cases are also defined.

  • [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.

  • [2] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.

  • [3] Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.

  • [4] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.

Formalized Mathematics

(a computer assisted approach)

Journal Information

SCImago Journal Rank (SJR) 2016: 0.207
Source Normalized Impact per Paper (SNIP) 2016: 0.315

Target Group

researchers in the fields of formal methods and computer-checked mathematics


All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 16 16 12
PDF Downloads 3 3 2