Partition (set theory) in the context of Setoid

In geometry, a half-space is either of the two parts into which a plane divides the three-dimensional Euclidean space. If the space is two-dimensional, then a half-space is called a half-plane (open or closed). A half-space in a one-dimensional space is called a half-line or ray.

More generally, a half-space is either of the two parts into which a hyperplane divides an n-dimensional space. That is, the points that are not incident to the hyperplane are partitioned into two convex sets (i.e., half-spaces), such that any subspace connecting a point in one set to a point in the other must intersect the hyperplane.

In mathematics, specifically in the study of dynamical systems, an orbit is a collection of points related by the evolution function of the dynamical system. It can be understood as the subset of phase space covered by the trajectory of the dynamical system under a particular set of initial conditions, as the system evolves. As a phase space trajectory is uniquely determined for any given set of phase space coordinates, it is not possible for different orbits to intersect in phase space, therefore the set of all orbits of a dynamical system is a partition of the phase space. Understanding the properties of orbits by using topological methods is one of the objectives of the modern theory of dynamical systems.

For discrete-time dynamical systems, the orbits are sequences; for real dynamical systems, the orbits are curves; and for holomorphic dynamical systems, the orbits are Riemann surfaces.

In mathematics, the disjoint union (or discriminated union) ${\displaystyle A\sqcup B}$ of the sets A and B is the set formed from the elements of A and B labelled (indexed) with the name of the set from which they come. So, an element belonging to both A and B appears twice in the disjoint union, with two different labels.

A disjoint union of an indexed family of sets ${\displaystyle (A_{i}:i\in I)}$ is a set ${\displaystyle A,}$ often denoted by ${\textstyle \bigsqcup _{i\in I}A_{i},}$ with an injection of each ${\displaystyle A_{i}}$ into ${\displaystyle A,}$ such that the images of these injections form a partition of ${\displaystyle A}$ (that is, each element of ${\displaystyle A}$ belongs to exactly one of these images). A disjoint union of a family of pairwise disjoint sets is their union.