👉 In mathematical logic, a semicontinuum is a set that has the following properties:
1.
Uniqueness
: A semicontinuum is unique up to an isomorphism.
2.
Universe of discourse
: The elements of the semicontinuum are all in the domain of discourse (D) and are distinct from every other element.
3.
Isomorphism property
: If two elements x and y belong to the same domain, then there exists a bijection