Basic Notions on (Neutrosophic) SuperHyperForcing And (Neutrosophic) SuperHyperModeling in Cancer’s Recognitions And (Neutrosophic) SuperHyperGraphs

1. Background

Look at [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16] for some researches.

2. SuperHyperForcing

Definition 1.  ((neutrosophic) SuperHyperForcing).

Assume a SuperHyperGraph. Then

$\left(i\right)$

a  SuperHyperForcing $\mathcal{Z}\left(NSHG\right)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex;

$\left(ii\right)$

a  neutrosophic SuperHyperForcing ${\mathcal{Z}}_n\left(NSHG\right)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the minimum neutrosophic cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex.

Definition 2.  ((neutrosophic)$\delta -$ SuperHyperForcing).

Assume a SuperHyperGraph. Then

$\left(i\right)$

an $\delta -$SuperHyperForcing  is a minimal SuperHyperForcing of SuperHyperVertices with minimum cardinality such that either of the following expressions hold for the (neutrosophic) cardinalities of SuperHyperNeighbors of $s\in S:$

$$\begin{array}{ccc}& & |S\cap N(s\left)\right|>|S\cap (V\setminus N\left(s\right)\left)\right|+\delta ;\hfill \end{array}$$

(1)

$$\begin{array}{ccc}& & |S\cap N(s\left)\right|<|S\cap (V\setminus N\left(s\right)\left)\right|+\delta .\hfill \end{array}$$

(2)

The Expression (1), holds if S is an $\delta -$SuperHyperOffensive. And the Expression (6), holds if S is an  $\delta -$SuperHyperDefensive;

$\left(ii\right)$

a neutrosophic $\delta -$SuperHyperForcing  is a minimal neutrosophic SuperHyperForcing of SuperHyperVertices with minimum neutrosophic cardinality such that either of the following expressions hold for the neutrosophic cardinalities of SuperHyperNeighbors of $s\in S:$

$$\begin{array}{ccc}& & {|S\cap N\left(s\right)|}_{neutrosophic}>{|S\cap (V\setminus N\left(s\right))|}_{neutrosophic}+\delta ;\hfill \end{array}$$

(3)

$$\begin{array}{ccc}& & {|S\cap N\left(s\right)|}_{neutrosophic}<{|S\cap (V\setminus N\left(s\right))|}_{neutrosophic}+\delta .\hfill \end{array}$$

(4)

The Expression (7), holds if S is a neutrosophic$\delta -$SuperHyperOffensive. And the Expression (8), holds if S is a neutrosophic$\delta -$SuperHyperDefensive.

Example 1. 

Assume the SuperHyperGraphs in the Figure 1, Figure 2, Figure 3, Figure 4, Figure 5, Figure 6, Figure 7, Figure 8, Figure 9, Figure 10, Figure 11, Figure 12, Figure 13, Figure 14, Figure 15, Figure 16, Figure 17, Figure 18, Figure 19, and Figure 20.

• On the Figure 1, the SuperHyperNotion, namely, SuperHyperForcing, is up. $E_1$ and $E_3$ are some empty SuperHyperEdges but $E_2$ is a loop SuperHyperEdge and $E_4$ is an SuperHyperEdge. Thus in the terms of SuperHyperNeighbor, there’s only one SuperHyperEdge, namely, $E_4.$ The SuperHyperVertex, $V_3$ is isolated means that there’s no SuperHyperEdge has it as an endpoint. Thus SuperHyperVertex, $V_3,$ is contained in every given SuperHyperForcing. All the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_3,V_1,V_2\}\hfill \\ & & \{V_3,V_1,V_4\}\hfill \\ & & \{V_3,V_2,V_4\}\hfill \end{array}$$
  The SuperHyperSet of the SuperHyperVertices, $\{V_3,V_2,V_4,V_1\},$ is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a SuperHyperForcing. Since it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 2, the SuperHyperNotion, namely, SuperHyperForcing, is up. $E_1,E_2$ and $E_3$ are some empty SuperHyperEdges but $E_4$ is an SuperHyperEdge. Thus in the terms of SuperHyperNeighbor, there’s only one SuperHyperEdge, namely, $E_4.$ The SuperHyperVertex, $V_3$ is isolated means that there’s no SuperHyperEdge has it as an endpoint. Thus SuperHyperVertex, $V_3,$ is contained in every given SuperHyperForcing. All the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_3,V_1,V_2\}\hfill \\ & & \{V_3,V_1,V_4\}\hfill \\ & & \{V_3,V_2,V_4\}\hfill \end{array}$$
  The SuperHyperSet of the SuperHyperVertices, $\{V_3,V_2,V_4,V_1\},$ is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a SuperHyperForcing. Since it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 3, the SuperHyperNotion, namely, SuperHyperForcing, is up. $E_1,E_2$ and $E_3$ are some empty SuperHyperEdges but $E_4$ is an SuperHyperEdge. Thus in the terms of SuperHyperNeighbor, there’s only one SuperHyperEdge, namely, $E_4.$ All the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_1,V_2\}\hfill \\ & & \{V_1,V_3\}\hfill \\ & & \{V_2,V_3\}\hfill \end{array}$$
  The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_3\},$ is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a SuperHyperForcing. Since it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_1,V_2\}\hfill \\ & & \{V_1,V_3\}\hfill \\ & & \{V_2,V_3\}\hfill \end{array}$$
  since the SuperHyperSets of the SuperHyperVertices, $\{V_1,V_2\},\{V_1,V_3\},\{V_2,V_3\}$ are the SuperHyperSets Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since they’vethe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet, $V\setminus \left\{v\right\}.$ Thus the obvious SuperHyperForcing, $V\setminus \left\{v\right\},$ is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing, $V\setminus \left\{v\right\},$ is a SuperHyperSet, $V\setminus \left\{v\right\},$ excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 4, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s no empty SuperHyperEdge but $E_3$ are a loop SuperHyperEdge on $\left\{F\right\},$ and there are some SuperHyperEdges, namely, $E_1$ on $\{H,V_1,V_3\},$ alongside $E_2$ on $\{O,H,V_4,V_3\}$ and $E_4,E_5$ on $\{N,V_1,V_2,V_3,F\}.$ The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\}$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’s the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,H,V_4,V_2,F\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_3,H,V_4,V_2,F\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_3,H,V_4,V_2,F\},$ is a SuperHyperSet, $\{V_1,V_3,H,V_4,V_2,F\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 5, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious SuperHyperForcing, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 6, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is a SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 7, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 8, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 9, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is a SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 10, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 11, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6\}.$ Thus the non-obvious SuperHyperForcing, $\{V_2,V_3,V_5,V_6\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_2,V_3,V_5,V_6\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 12, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is a SuperHyperSet, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 13, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_2,V_5,V_6\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_2,V_5,V_6\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_2,V_5,V_6\},$ is a SuperHyperSet, $\{V_1,V_2,V_5,V_6\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 14, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\left\{V_1\right\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\left\{V_1\right\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\left\{V_1\right\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\left\{V_1\right\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\left\{V_1\right\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\left\{V_1\right\}.$ Thus the non-obvious SuperHyperForcing, $\left\{V_1\right\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\left\{V_1\right\},$ is a SuperHyperSet, $\left\{V_1\right\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 15, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_6\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,V_6\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_3,V_6\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_3,V_6\},$ is a SuperHyperSet, $\{V_1,V_3,V_6\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 16, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\}.$$
  Thus the non-obvious SuperHyperForcing,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is a SuperHyperSet,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 17, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\}.\hfill \end{array}$$
  Thus the non-obvious SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is a SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 18, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\}.$ Thus the non-obvious SuperHyperForcing, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is a SuperHyperSet, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 19, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\}.\hfill \end{array}$$
  Thus the non-obvious SuperHyperForcing,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is a SuperHyperSet,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 20, the SuperHyperNotion, namely, SuperHyperForcing, is up. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the simple type-SuperHyperSet of the SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the non-obvious simple type-SuperHyperSet of the SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are SuperHyperForcing. Since it’sthe minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\}.\hfill \end{array}$$
  Thus the non-obvious SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is up. The non-obvious simple type-SuperHyperSet of the SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is a SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$

Figure 1. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 1. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 2. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 2. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 3. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 3. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 4. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 4. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 5. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 5. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 6. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 6. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 7. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 7. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 8. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 8. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 9. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 9. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 10. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 10. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 11. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 11. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 12. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 12. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 13. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 13. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 14. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 14. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 15. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 15. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 16. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 16. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 17. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 17. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 18. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 18. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 19. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 19. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 20. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Figure 20. The SuperHyperGraphs Associated to the Notions of SuperHyperForcing in the Examples (1) and (2).

Proposition 1. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Then in the worst case, literally, $V\setminus \left\{v\right\}$ is a SuperHyperForcing. In other words, the most cardinality, the upper sharp bound for cardinality, of SuperHyperForcing is the cardinality of $V\setminus \left\{v\right\}.$

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ The SuperHyperSet of the SuperHyperVertices V is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a SuperHyperForcing. Since it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet, $V\setminus \left\{v\right\}.$ Thus the obvious SuperHyperForcing, $V\setminus \left\{v\right\},$ is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing, $V\setminus \left\{v\right\},$ is a SuperHyperSet, $V\setminus \left\{v\right\},$ excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ □

Proposition 2. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Then the extreme number of SuperHyperForcing has, the most cardinality, the upper sharp bound for cardinality, is the extreme cardinality of V if there’s a SuperHyperForcing with the most cardinality, the upper sharp bound for cardinality.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Consider there’s a SuperHyperForcing with the most cardinality, the upper sharp bound for cardinality. The SuperHyperSet of the SuperHyperVertices V is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a SuperHyperForcing. Since it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet, $V\setminus \left\{v\right\}.$ Thus the obvious SuperHyperForcing, $V\setminus \left\{v\right\},$ is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing, $V\setminus \left\{v\right\},$ is a SuperHyperSet, $V\setminus \left\{v\right\},$ excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ It implies that extreme number of SuperHyperForcing has, the most cardinality, the upper sharp bound for cardinality, is $\left|V\right|$ choose $\left|V\right|-1.$ Thus it induces that the extreme number of SuperHyperForcing has, the most cardinality, the upper sharp bound for cardinality, is the extreme cardinality of V if there’s a SuperHyperForcing with the most cardinality, the upper sharp bound for cardinality. □

Proposition 3. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ If a SuperHyperEdge has z SuperHyperVertices, then $z-1$ number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has z SuperHyperVertices. Consider $z-2$ number of those SuperHyperVertices from that SuperHyperEdge belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with z SuperHyperVertices less than $z-1$ isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has z SuperHyperVertices, then $z-1$ number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. □

Proposition 4. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. □

Proposition 5. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ The all exterior SuperHyperVertices belong to any SuperHyperForcing if for any of them, there’s only one interior SuperHyperVertex is a SuperHyperNeighbor to any of them.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ the all exterior SuperHyperVertices belong to any SuperHyperForcing if for any of them, there’s only one interior SuperHyperVertex is a SuperHyperNeighbor to any of them. □

Proposition 6. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ The any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. □

Remark 1. 

The words “SuperHyperForcing” and “SuperHyperDominating” refer to the minimum type-style. In other words, they refer to both the minimum number and the SuperHyperSet with the minimum cardinality.

Proposition 7. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ A complement of SuperHyperForcing is the SuperHyperDominating.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ By applying the Proposition (6), the results are up. Thus in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ a complement of SuperHyperForcing is the SuperHyperDominating. □

3. Neutrosophic SuperHyperForcing

For the sake of having neutrosophic SuperHyperForcing, there’s a need to “redefine” the notion of “neutrosophic SuperHyperGraph”. The SuperHyperVertices and the SuperHyperEdges are assigned by the labels from the letters of the alphabets. In this procedure, there’s the usage of the position of labels to assign to the values.

Definition 3. 

Assume a neutrosophic SuperHyperGraph. It’s redefined neutrosophic SuperHyperGraph if the Table 1 holds.

It’s useful to define “neutrosophic” version of SuperHyperClasses. Since there’s more ways to get neutrosophic type-results to make neutrosophic SuperHyperForcing more understandable.

Definition 4. 

Assume a neutrosophic SuperHyperGraph. There are some neutrosophic SuperHyperClasses if the Table 2 holds. Thus SuperHyperPath, SuperHyperCycle, SuperHyperStar, SuperHyperBipartite, SuperHyperMultiPartite, and SuperHyperWheel, are neutrosophic SuperHyperPath, neutrosophic SuperHyperCycle, neutrosophic SuperHyperStar, neutrosophic SuperHyperBipartite, neutrosophic SuperHyperMultiPartite, and neutrosophic SuperHyperWheel if the Table 2 holds.

It’s useful to define “neutrosophic” version of SuperHyperForcing. Since there’s more ways to get type-results to make SuperHyperForcing more understandable.

For the sake of having neutrosophic SuperHyperForcing, there’s a need to “redefine” the notion of “SuperHyperForcing”. The SuperHyperVertices and the SuperHyperEdges are assigned by the labels from the letters of the alphabets. In this procedure, there’s the usage of the position of labels to assign to the values.

Definition 5. 

Assume a SuperHyperForcing. It’s redefined neutrosophic SuperHyperForcing if the Table 3 holds.

Definition 6.  ((neutrosophic) SuperHyperForcing).

Assume a SuperHyperGraph. Then

$\left(i\right)$

a  SuperHyperForcing $\mathcal{Z}\left(NSHG\right)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the minimum cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex;

$\left(ii\right)$

a  neutrosophic SuperHyperForcing ${\mathcal{Z}}_n\left(NSHG\right)$ for a neutrosophic SuperHyperGraph $NSHG:(V,E)$ is the minimum neutrosophic cardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex.

Definition 7.  ((neutrosophic)$\delta -$ SuperHyperForcing).

Assume a SuperHyperGraph. Then

$\left(i\right)$

an  $\delta -$SuperHyperForcing is a minimal SuperHyperForcing of SuperHyperVertices with minimum cardinality such that either of the following expressions hold for the (neutrosophic) cardinalities of SuperHyperNeighbors of $s\in S:$

$$\begin{array}{ccc}& & |S\cap N(s\left)\right|>|S\cap (V\setminus N\left(s\right)\left)\right|+\delta ;\hfill \end{array}$$

(5)

$$\begin{array}{ccc}& & |S\cap N(s\left)\right|<|S\cap (V\setminus N\left(s\right)\left)\right|+\delta .\hfill \end{array}$$

(6)

The Expression (5), holds if S is an $\delta -$ SuperHyperOffensive. And the Expression (6), holds if S is an $\delta -$SuperHyperDefensive;

$\left(ii\right)$

a  neutrosophic$\delta -$ SuperHyperForcing is a minimal neutrosophic SuperHyperForcing of SuperHyperVertices with minimum neutrosophic cardinality such that either of the following expressions hold for the neutrosophic cardinalities of SuperHyperNeighbors of $s\in S:$

$$\begin{array}{ccc}& & {|S\cap N\left(s\right)|}_{neutrosophic}>{|S\cap (V\setminus N\left(s\right))|}_{neutrosophic}+\delta ;\hfill \end{array}$$

(7)

$$\begin{array}{ccc}& & {|S\cap N\left(s\right)|}_{neutrosophic}<{|S\cap (V\setminus N\left(s\right))|}_{neutrosophic}+\delta .\hfill \end{array}$$

(8)

The Expression (7), holds if S is a neutrosophic$\delta -$SuperHyperOffensive. And the Expression (8), holds if S is a neutrosophic$\delta -$SuperHyperDefensive.

Example 2. 

Assume the neutrosophic SuperHyperGraphs in the Figure 1, Figure 2, Figure 3, Figure 4, Figure 5, Figure 6, Figure 7, Figure 8, Figure 9, Figure 10, Figure 11, Figure 12, Figure 13, Figure 14, Figure 15, Figure 16, Figure 17, Figure 18, Figure 19, and Figure 20.

• On the Figure 1, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_1,V_2,V_3\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. $E_1$ and $E_3$ are some empty SuperHyperEdges but $E_2$ is a loop SuperHyperEdge and $E_4$ is an SuperHyperEdge. Thus in the terms of SuperHyperNeighbor, there’s only one SuperHyperEdge, namely, $E_4.$ The SuperHyperVertex, $V_3$ is isolated means that there’s no SuperHyperEdge has it as an endpoint. Thus SuperHyperVertex, $V_3,$ is contained in every given neutrosophic SuperHyperForcing. All the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_3,V_1,V_2\}\hfill \\ & & \{V_3,V_1,V_4\}\hfill \\ & & \{V_3,V_2,V_4\}\hfill \end{array}$$
  The SuperHyperSet of the SuperHyperVertices, $\{V_3,V_2,V_4,V_1\},$ is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a neutrosophic SuperHyperForcing. Since it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 2, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_1,V_2,V_3\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. $E_1,E_2$ and $E_3$ are some empty SuperHyperEdges but $E_4$ is an SuperHyperEdge. Thus in the terms of SuperHyperNeighbor, there’s only one SuperHyperEdge, namely, $E_4.$ The SuperHyperVertex, $V_3$ is isolated means that there’s no SuperHyperEdge has it as an endpoint. Thus SuperHyperVertex, $V_3,$ is contained in every given neutrosophic SuperHyperForcing. All the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_3,V_1,V_2\}\hfill \\ & & \{V_3,V_1,V_4\}\hfill \\ & & \{V_3,V_2,V_4\}\hfill \end{array}$$
  The SuperHyperSet of the SuperHyperVertices, $\{V_3,V_2,V_4,V_1\},$ is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a neutrosophic SuperHyperForcing. Since it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 3, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_1,V_2\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. $E_1,E_2$ and $E_3$ are some empty SuperHyperEdges but $E_4$ is an SuperHyperEdge. Thus in the terms of SuperHyperNeighbor, there’s only one SuperHyperEdge, namely, $E_4.$ All the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_1,V_2\}\hfill \\ & & \{V_1,V_3\}\hfill \\ & & \{V_2,V_3\}\hfill \end{array}$$
  The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_3\},$ is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a neutrosophic SuperHyperForcing. Since it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing.

  $$\begin{array}{ccc}& & \{V_1,V_2\}\hfill \\ & & \{V_1,V_3\}\hfill \\ & & \{V_2,V_3\}\hfill \end{array}$$
  since the SuperHyperSets of the SuperHyperVertices, $\{V_1,V_2\},\{V_1,V_3\},\{V_2,V_3\}$ are the SuperHyperSets Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since they’vethe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet, $V\setminus \left\{v\right\}.$ Thus the obvious neutrosophic SuperHyperForcing, $V\setminus \left\{v\right\},$ is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $V\setminus \left\{v\right\},$ is a SuperHyperSet, $V\setminus \left\{v\right\},$ excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 4, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_1,V_3,H,V_4,V_2,F\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s no empty SuperHyperEdge but $E_3$ are a loop SuperHyperEdge on $\left\{F\right\},$ and there are some SuperHyperEdges, namely, $E_1$ on $\{H,V_1,V_3\},$ alongside $E_2$ on $\{O,H,V_4,V_3\}$ and $E_4,E_5$ on $\{N,V_1,V_2,V_3,F\}.$ The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\}$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,H,V_4,V_2,F\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,H,V_4,V_2,F\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_3,H,V_4,V_2,F\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_3,H,V_4,V_2,F\},$ is a SuperHyperSet, $\{V_1,V_3,H,V_4,V_2,F\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 5, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\}$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_4,V_5,V_7,V_8,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 6, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is a SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 7, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 8, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 9, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ is a SuperHyperSet, $\{V_1,V_3,V_5,V_7,V_9,V_{21},V_{12},V_{14},V_{16},V_{18},V_{20},V_{22}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 10, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6,V_7,V_9,V_{10},V_{11},V_{12},V_{13},V_{14}\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 11, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_2,V_3,V_5,V_6\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_2,V_3,V_5,V_6\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_2,V_3,V_5,V_6\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_2,V_3,V_5,V_6\},$ is a SuperHyperSet, $\{V_2,V_3,V_5,V_6\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 12, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. $S=\{V_1,V_2,V_3\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ is a SuperHyperSet, $\{V_1,V_2,V_3,V_4,V_5,V_6,V_7,V_9\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 13, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_1,V_2,V_5,V_6\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_2,V_5,V_6\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_2,V_5,V_6\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_2,V_5,V_6\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_2,V_5,V_6\},$ is a SuperHyperSet, $\{V_1,V_2,V_5,V_6\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 14, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\left\{V_1\right\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\left\{V_1\right\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\left\{V_1\right\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\left\{V_1\right\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\left\{V_1\right\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\left\{V_1\right\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\left\{V_1\right\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\left\{V_1\right\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\left\{V_1\right\},$ is a SuperHyperSet, $\left\{V_1\right\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 15, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up. $S=\{V_1,V_3,V_6\}$ is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_6\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,V_6\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,V_6\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_3,V_6\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_3,V_6\},$ is a SuperHyperSet, $\{V_1,V_3,V_6\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 16, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\}.$$
  Thus the non-obvious neutrosophic SuperHyperForcing,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  is a SuperHyperSet,

  $$\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{20}\},$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 17, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$\begin{array}{ccc}& & S=\{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,
  is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\}.\hfill \end{array}$$
  Thus the non-obvious neutrosophic SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  is a SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_2,V_3,V_4,V_6,V_8,V_9,V_{10},V_{12},V_{15},V_{14},V_{13},V_{17},V_{16},V_{19},V_{18},V_{21},V_{23},V_1,\hfill \\ & & V_{24},V_{29},V_{25},V_{28},V_{26}\},\hfill \end{array}$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 18, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$S=\{V_1,V_3,R,M_6,L_6,F,P,J,M\}$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\}.$ Thus the non-obvious neutrosophic SuperHyperForcing, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ is a SuperHyperSet, $\{V_1,V_3,R,M_6,L_6,F,P,J,M\},$ excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 19, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$\begin{array}{ccc}& & S=\{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements.There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\}.\hfill \end{array}$$
  Thus the non-obvious neutrosophic SuperHyperForcing,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  is a SuperHyperSet,

  $$\begin{array}{ccc}& & \{S_3,U_3,V_4,V_5,V_6,V_7,V_8,V_9,V_{10},R_6,S_6,Z_5,W_5,\hfill \\ & & H_6,O_6,E_6,V_2,V_3,R,M_6,L_6,F,P,J,M\},\hfill \end{array}$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$
• On the Figure 20, the neutrosophic SuperHyperNotion, namely, neutrosophic SuperHyperForcing, is up.

  $$\begin{array}{ccc}& & S=\{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. The details are followed by the upcoming statements. There’s neither empty SuperHyperEdge nor loop SuperHyperEdge. The SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. The SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. In There’s not only one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ But the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  has more than one SuperHyperVertex outside the intended SuperHyperSet. Thus the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is up. To sum them up, the SuperHyperSet of SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. Since the SuperHyperSet of the SuperHyperVertices,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is the SuperHyperSet Ss of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex and they are neutrosophic SuperHyperForcing. Since it’sthe minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only more than one SuperHyperVertex outside the intended SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\}.\hfill \end{array}$$
  Thus the non-obvious neutrosophic SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is up. The non-obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  is a SuperHyperSet,

  $$\begin{array}{ccc}& & \{V_1,V_{11},V_4,U_6,H_7,V_5,\hfill \\ & & V_7,V_8,V_9,v_8,W_8,U_8,S_8,T_8,C_9,\hfill \\ & & K_9,O_9,L_9,O_4,R_4,R_4,S_4\},\hfill \end{array}$$
  excludes only more than one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$

Proposition 8. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Then in the worst case, literally, $V\setminus \left\{v\right\}$ is a neutrosophic SuperHyperForcing. In other words, the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality, of neutrosophic SuperHyperForcing is the neutrosophic SuperHyperCardinality of $V\setminus \left\{v\right\}.$

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ The SuperHyperSet of the SuperHyperVertices V is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a neutrosophic SuperHyperForcing. Since it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet, $V\setminus \left\{v\right\}.$ Thus the obvious neutrosophic SuperHyperForcing, $V\setminus \left\{v\right\},$ is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $V\setminus \left\{v\right\},$ is a SuperHyperSet, $V\setminus \left\{v\right\},$ excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ □

Proposition 9. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Then the extreme number of neutrosophic SuperHyperForcing has, the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality, is the extreme neutrosophic SuperHyperCardinality of V if there’s a neutrosophic SuperHyperForcing with the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Consider there’s a neutrosophic SuperHyperForcing with the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality. The SuperHyperSet of the SuperHyperVertices V is a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it isn’t a neutrosophic SuperHyperForcing. Since it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet, $V\setminus \left\{v\right\}.$ Thus the obvious neutrosophic SuperHyperForcing, $V\setminus \left\{v\right\},$ is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing, $V\setminus \left\{v\right\},$ is a SuperHyperSet, $V\setminus \left\{v\right\},$ excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ It implies that extreme number of neutrosophic SuperHyperForcing has, the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality, is $\left|V\right|$ choose $\left|V\right|-1.$ Thus it induces that the extreme number of neutrosophic SuperHyperForcing has, the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality, is the extreme neutrosophic SuperHyperCardinality of V if there’s a neutrosophic SuperHyperForcing with the most neutrosophic SuperHyperCardinality, the upper sharp bound for neutrosophic SuperHyperCardinality. □

Proposition 10. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ If a SuperHyperEdge has z SuperHyperVertices, then $z-1$ number of those SuperHyperVertices from that SuperHyperEdge belong to any neutrosophic SuperHyperForcing.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has z SuperHyperVertices. Consider $z-2$ number of those SuperHyperVertices from that SuperHyperEdge belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with z SuperHyperVertices less than $z-1$ isn’t a neutrosophic SuperHyperForcing. Thus if a SuperHyperEdge has z SuperHyperVertices, then $z-1$ number of those SuperHyperVertices from that SuperHyperEdge belong to any neutrosophic SuperHyperForcing. □

Proposition 11. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Every SuperHyperEdge has only one unique SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. □

Proposition 12. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ The all exterior SuperHyperVertices belong to any neutrosophic SuperHyperForcing if for any of them, there’s only one interior SuperHyperVertex is a SuperHyperNeighbor to any of them.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ the all exterior SuperHyperVertices belong to any neutrosophic SuperHyperForcing if for any of them, there’s only one interior SuperHyperVertex is a SuperHyperNeighbor to any of them. □

Proposition 13. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ The any neutrosophic SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the neutrosophic SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. □

Remark 2. 

The words “neutrosophic SuperHyperForcing” and “SuperHyperDominating” refer to the minimum type-style. In other words, they refer to both the minimum number and the SuperHyperSet with the minimum neutrosophic SuperHyperCardinality.

Proposition 14. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ A complement of neutrosophic SuperHyperForcing is the SuperHyperDominating.

Proof. 

Assume a connected neutrosophic SuperHyperGraph $NSHG:(V,E).$ By applying the Proposition (13), the results are up. Thus in a connected neutrosophic SuperHyperGraph $NSHG:(V,E),$ a complement of neutrosophic SuperHyperForcing is the SuperHyperDominating. □

4. Results on SuperHyperClasses

Proposition 15. 

Assume a connected SuperHyperPath $NSHP:(V,E).$ Then a SuperHyperForcing-style with the maximum SuperHyperCardinality is a SuperHyperSet of the exterior SuperHyperVertices.

Proposition 16. 

Assume a connected SuperHyperPath $NSHP:(V,E).$ Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the number of exterior SuperHyperParts plus one.

Proof. 

Assume a connected SuperHyperPath $NSHP:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected SuperHyperPath $NSHP:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected SuperHyperPath $NSHP:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected SuperHyperPath $NSHP:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the number of exterior SuperHyperParts plus one. □

Example 3. 

In the Figure 21, the connected SuperHyperPath $NSHP:(V,E),$ is highlighted and featured. The SuperHyperSet, $S=V\setminus \{V_{27},V_3,V_7,V_{13},V_{22}\}$ of the SuperHyperVertices of the connected SuperHyperPath $NSHP:(V,E),$ in the SuperHyperModel (21), is the SuperHyperForcing.

Proposition 17. 

Assume a connected SuperHyperCycle $NSHC:(V,E).$ Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the number of exterior SuperHyperParts.

Proof. 

Assume a connected SuperHyperCycle $NSHC:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected SuperHyperCycle $NSHC:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected SuperHyperCycle $NSHC:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected SuperHyperCycle $NSHC:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the number of exterior SuperHyperParts. □

Example 4. 

In the Figure 22, the connected SuperHyperCycle $NSHC:(V,E),$ is highlighted and featured. The obtained SuperHyperSet, by the Algorithm in previous result, of the SuperHyperVertices of the connected SuperHyperCycle $NSHC:(V,E),$ in the SuperHyperModel (22), is the SuperHyperForcing.

Proposition 18. 

Assume a connected SuperHyperStar $NSHS:(V,E).$ Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the cardinality of the second SuperHyperPart plus one.

Proof. 

Assume a connected SuperHyperStar $NSHS:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected SuperHyperStar $NSHS:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected SuperHyperStar $NSHS:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected SuperHyperStar $NSHS:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the cardinality of the second SuperHyperPart plus one. □

Example 5. 

In the Figure 23, the connected SuperHyperStar $NSHS:(V,E),$ is highlighted and featured. The obtained SuperHyperSet, by the Algorithm in previous result, of the SuperHyperVertices of the connected SuperHyperStar $NSHS:(V,E),$ in the SuperHyperModel (23), is the SuperHyperForcing.

Proposition 19. 

Assume a connected SuperHyperBipartite $NSHB:(V,E).$ Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the cardinality of the first SuperHyperPart plus the second SuperHyperPart.

Proof. 

Assume a connected SuperHyperBipartite $NSHB:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected SuperHyperBipartite $NSHB:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected SuperHyperBipartite $NSHB:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected SuperHyperBipartite $NSHB:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus on the cardinality of the first SuperHyperPart plus the second SuperHyperPart. □

Example 6. 

In the Figure 24, the connected SuperHyperBipartite $NSHB:(V,E),$ is highlighted and featured. The obtained SuperHyperSet, by the Algorithm in previous result, of the SuperHyperVertices of the connected SuperHyperBipartite $NSHB:(V,E),$ in the SuperHyperModel (24), is the SuperHyperForcing.

Proposition 20. 

Assume a connected SuperHyperMultipartite $NSHM:(V,E).$ Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus the number of all the the summation on the cardinality of the SuperHyperParts.

Proof. 

Assume a connected SuperHyperMultipartite $NSHM:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected SuperHyperMultipartite $NSHM:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected SuperHyperMultipartite $NSHM:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected SuperHyperMultipartite $NSHM:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus the number of all the the summation on the cardinality of the SuperHyperParts. □

Example 7. 

In the Figure 25, the connected SuperHyperMultipartite $NSHM:(V,E),$ is highlighted and featured. The obtained SuperHyperSet, by the Algorithm in previous result, of the SuperHyperVertices of the connected SuperHyperMultipartite $NSHM:(V,E),$ in the SuperHyperModel (25), is the SuperHyperForcing.

Proposition 21. 

Assume a connected SuperHyperWheel $NSHW:(V,E).$ Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus the number of all the SuperHyperEdges.

Proof. 

Assume a connected SuperHyperWheel $NSHW:(V,E).$ Let a SuperHyperEdge has some SuperHyperVertices. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge excluding two unique SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but there are two white SuperHyperNeighbors outside implying there’s no SuperHyperVertex to the SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. Consider some numbers of those SuperHyperVertices from that SuperHyperEdge, without any exclusion on some SuperHyperVertices, belong to any given SuperHyperSet of the SuperHyperVertices. The SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex but it implies it doesn’t have the minimum SuperHyperCardinality of a SuperHyperSet S of black SuperHyperVertices (whereas SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white SuperHyperVertex is converted to a black SuperHyperVertex if it is the only white SuperHyperNeighbor of a black SuperHyperVertex. There’s only one SuperHyperVertex outside the intended SuperHyperSet. Thus the obvious SuperHyperForcing is up. The obvious simple type-SuperHyperSet of the SuperHyperForcing is a SuperHyperSet excludes only one SuperHyperVertex in a connected SuperHyperWheel $NSHW:(V,E).$ Thus all the following SuperHyperSets of SuperHyperVertices are the simple type-SuperHyperSet of the SuperHyperForcing. It’s the contradiction to the SuperHyperSet S is a SuperHyperForcing. Thus any given SuperHyperSet of the SuperHyperVertices contains the number of those SuperHyperVertices from that SuperHyperEdge with some SuperHyperVertices less than excluding one unique SuperHyperVertex, isn’t a SuperHyperForcing. Thus if a SuperHyperEdge has some SuperHyperVertices, then, with excluding one unique SuperHyperVertex, the all number of those SuperHyperVertices from that SuperHyperEdge belong to any SuperHyperForcing. Thus, in a connected SuperHyperWheel $NSHW:(V,E),$ every SuperHyperEdge has only one unique SuperHyperVertex outside of SuperHyperForcing. In other words, every SuperHyperEdge has only one unique white SuperHyperVertex. In a connected SuperHyperWheel $NSHW:(V,E),$ the any SuperHyperForcing only contains all interior SuperHyperVertices and all exterior SuperHyperVertices where any of them has one SuperHyperNeighbor out. Then a SuperHyperForcing is a SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge. A SuperHyperForcing has the number of all the SuperHyperVertices minus the number of all the SuperHyperEdges. □

Example 8. 

In the Figure 26, the connected SuperHyperWheel $NSHW:(V,E),$ is highlighted and featured. The obtained SuperHyperSet, by the Algorithm in previous result, of the SuperHyperVertices of the connected SuperHyperWheel $NSHW:(V,E),$ in the SuperHyperModel (26), is the SuperHyperForcing.

5. Results on Neutrosophic SuperHyperClasses

Proposition 22. 

Assume a connected neutrosophic SuperHyperPath $NSHP:(V,E).$ Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior SuperHyperVertices and the interior SuperHyperVertices with only one exception in the form of interior SuperHyperVertices from any given SuperHyperEdge with the minimum cardinality. A SuperHyperForcing has the minimum neutrosophic cardinality on all SuperHyperForcing has the number of all the SuperHyperVertices minus on the number of exterior SuperHyperParts plus one. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperVertices}\hfill \\ & & \mathit{-}\mathit{minus}\mathit{-}\mathit{on}\mathit{-}\mathit{the}\mathit{-}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{exterior}\mathit{-}\mathit{SuperHyperParts}\mathit{-}\mathit{plus}\mathit{-}\mathit{one}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{|}\mathit{min}\mathit{|}\mathit{the}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\mathit{SuperHyperVertices}\mathit{with}\mathit{only}\hfill \\ & & \mathit{one}\mathit{exception}\mathit{in}\mathit{the}\mathit{form}\mathit{of}\mathit{interior}\mathit{SuperHyperVertices}\mathit{from}\mathit{any}\mathit{given}\hfill \\ & & {\mathit{SuperHyperEdge}.\mathit{|}}_{\mathit{neutrosophic}\mathit{cardinality}\mathit{amid}\mathit{those}\mathit{SuperHyperSets}.}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively.

Proof. 

Assume a connected neutrosophic SuperHyperPath $NSHP:(V,E).$ Let a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge excluding two unique neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but there are two white neutrosophic SuperHyperNeighbors outside implying there’s no neutrosophic SuperHyperVertex to the neutrosophic SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge, without any exclusion on some neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. There’s only one neutrosophic SuperHyperVertex outside the intended neutrosophic SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-neutrosophic SuperHyperSet of the neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet excludes only one neutrosophic SuperHyperVertex in a connected neutrosophic SuperHyperPath $NSHP:(V,E).$ Thus all the following neutrosophic SuperHyperSets of neutrosophic SuperHyperVertices are the simple neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the neutrosophic SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices contains the number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge with some neutrosophic SuperHyperVertices less than excluding one unique neutrosophic SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices, then, with excluding one unique neutrosophic SuperHyperVertex, the all number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperPath $NSHP:(V,E),$ every neutrosophic SuperHyperEdge has only one unique neutrosophic SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every neutrosophic SuperHyperEdge has only one unique white neutrosophic SuperHyperVertex. In a connected neutrosophic SuperHyperPath $NSHP:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior neutrosophic SuperHyperVertices and all exterior neutrosophic SuperHyperVertices where any of them has one neutrosophic SuperHyperNeighbor out. Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the number of exterior neutrosophic SuperHyperParts plus one. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperVertices}\hfill \\ & & -\mathrm{minus}-\mathrm{on}-\mathrm{the}-\mathrm{number}-\mathrm{of}-\mathrm{exterior}-\mathrm{SuperHyperParts}-\mathrm{plus}-\mathrm{one}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\hfill \\ & & \mathrm{SuperHyperVertices}|min|\mathrm{the}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\mathrm{SuperHyperVertices}\mathrm{with}\mathrm{only}\hfill \\ & & \mathrm{one}\mathrm{exception}\mathrm{in}\mathrm{the}\mathrm{form}\mathrm{of}\mathrm{interior}\mathrm{SuperHyperVertices}\mathrm{from}\mathrm{any}\mathrm{given}\hfill \\ & & {\mathrm{SuperHyperEdge}.|}_{\mathrm{neutrosophic}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively. □

Example 9. 

In the Figure 27, the connected neutrosophic SuperHyperPath $NSHP:(V,E),$ is highlighted and featured.

By using the Figure 27 and the Table 4, the neutrosophic SuperHyperPath is obtained.

The neutrosophic SuperHyperSet, $S=V\setminus \{V_{27},V_3,V_7,V_{13},V_{22}\}$ of the neutrosophic SuperHyperVertices of the connected neutrosophic SuperHyperPath $NSHP:(V,E),$ in the neutrosophic SuperHyperModel (27), is the neutrosophic SuperHyperForcing.

Proposition 23. 

Assume a connected neutrosophic SuperHyperCycle $NSHC:(V,E).$ Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the number of exterior neutrosophic SuperHyperParts plus one. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathit{The}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperVertices}\hfill \\ & & \mathit{-}\mathit{minus}\mathit{-}\mathit{on}\mathit{-}\mathit{the}\mathit{-}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{exterior}\mathit{-}\mathit{SuperHyperParts}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{|}\mathit{min}\mathit{|}\mathit{the}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\mathit{SuperHyperVertices}\mathit{with}\mathit{only}\hfill \\ & & \mathit{one}\mathit{exception}\mathit{in}\mathit{the}\mathit{form}\mathit{of}\mathit{interior}\mathit{SuperHyperVertices}\mathit{from}\mathit{any}\mathit{given}\hfill \\ & & {\mathit{SuperHyperEdge}\mathit{.}\mathit{|}}_{\mathit{neutrosophic}\mathit{cardinality}\mathit{amid}\mathit{those}\mathit{SuperHyperSets}\mathit{.}}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively.

Proof. 

Assume a connected neutrosophic SuperHyperCycle $NSHC:(V,E).$ Let a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge excluding two unique neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but there are two white neutrosophic SuperHyperNeighbors outside implying there’s no neutrosophic SuperHyperVertex to the neutrosophic SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge, without any exclusion on some neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. There’s only one neutrosophic SuperHyperVertex outside the intended neutrosophic SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-neutrosophic SuperHyperSet of the neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet excludes only one neutrosophic SuperHyperVertex in a connected neutrosophic SuperHyperCycle $NSHC:(V,E).$ Thus all the following neutrosophic SuperHyperSets of neutrosophic SuperHyperVertices are the simple neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the neutrosophic SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices contains the number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge with some neutrosophic SuperHyperVertices less than excluding one unique neutrosophic SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices, then, with excluding one unique neutrosophic SuperHyperVertex, the all number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperCycle $NSHC:(V,E),$ every neutrosophic SuperHyperEdge has only one unique neutrosophic SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every neutrosophic SuperHyperEdge has only one unique white neutrosophic SuperHyperVertex. In a connected neutrosophic SuperHyperCycle $NSHC:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior neutrosophic SuperHyperVertices and all exterior neutrosophic SuperHyperVertices where any of them has one neutrosophic SuperHyperNeighbor out. Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the number of exterior neutrosophic SuperHyperParts plus one. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperVertices}\hfill \\ & & -\mathrm{minus}-\mathrm{on}-\mathrm{the}-\mathrm{number}-\mathrm{of}-\mathrm{exterior}-\mathrm{SuperHyperParts}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\hfill \\ & & \mathrm{SuperHyperVertices}|min|\mathrm{the}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\mathrm{SuperHyperVertices}\mathrm{with}\mathrm{only}\hfill \\ & & \mathrm{one}\mathrm{exception}\mathrm{in}\mathrm{the}\mathrm{form}\mathrm{of}\mathrm{interior}\mathrm{SuperHyperVertices}\mathrm{from}\mathrm{any}\mathrm{given}\hfill \\ & & {\mathrm{SuperHyperEdge}.|}_{\mathrm{neutrosophic}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively. □

Example 10. 

In the Figure 28, the SuperHyperCycle is highlighted and featured.

By using the Figure 28 and the Table 5, the neutrosophic SuperHyperCycle is obtained.

The obtained neutrosophic SuperHyperSet, by the Algorithm in previous result, of the neutrosophic SuperHyperVertices of the connected neutrosophic SuperHyperCycle $NSHC:(V,E),$ in the neutrosophic SuperHyperModel (22), is the neutrosophic SuperHyperForcing.

Proposition 24. 

Assume a connected neutrosophic SuperHyperStar $NSHS:(V,E).$ Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the neutrosophic cardinality of the second neutrosophic SuperHyperPart plus one. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathit{The}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperVertices}\hfill \\ & & \mathit{-}\mathit{minus}\mathit{-}\mathit{on}\mathit{-}\mathit{the}\mathit{-}\mathit{cardinality}\mathit{-}\mathit{of}\mathit{-}\mathit{sec}\mathit{ond}\mathit{-}\mathit{SuperHyperPart}\mathit{-}\mathit{plus}\mathit{-}\mathit{one}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{|}\mathit{min}\mathit{|}\mathit{the}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\mathit{SuperHyperVertices}\mathit{with}\mathit{only}\hfill \\ & & \mathit{one}\mathit{exception}\mathit{in}\mathit{the}\mathit{form}\mathit{of}\mathit{interior}\mathit{SuperHyperVertices}\mathit{from}\mathit{any}\mathit{given}\hfill \\ & & {\mathit{SuperHyperEdge}\mathit{.}\mathit{|}}_{\mathit{neutrosophic}\mathit{cardinality}\mathit{amid}\mathit{those}\mathit{SuperHyperSets}\mathit{.}}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively.

Proof. 

Assume a connected neutrosophic SuperHyperStar $NSHS:(V,E).$ Let a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge excluding two unique neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but there are two white neutrosophic SuperHyperNeighbors outside implying there’s no neutrosophic SuperHyperVertex to the neutrosophic SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge, without any exclusion on some neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. There’s only one neutrosophic SuperHyperVertex outside the intended neutrosophic SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-neutrosophic SuperHyperSet of the neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet excludes only one neutrosophic SuperHyperVertex in a connected neutrosophic SuperHyperStar $NSHS:(V,E).$ Thus all the following neutrosophic SuperHyperSets of neutrosophic SuperHyperVertices are the simple neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the neutrosophic SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices contains the number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge with some neutrosophic SuperHyperVertices less than excluding one unique neutrosophic SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices, then, with excluding one unique neutrosophic SuperHyperVertex, the all number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperStar $NSHS:(V,E),$ every neutrosophic SuperHyperEdge has only one unique neutrosophic SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every neutrosophic SuperHyperEdge has only one unique white neutrosophic SuperHyperVertex. In a connected neutrosophic SuperHyperStar $NSHS:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior neutrosophic SuperHyperVertices and all exterior neutrosophic SuperHyperVertices where any of them has one neutrosophic SuperHyperNeighbor out. Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the neutrosophic cardinality of the second neutrosophic SuperHyperPart plus one. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperVertices}\hfill \\ & & -\mathrm{minus}-\mathrm{on}-\mathrm{the}-\mathrm{cardinality}-\mathrm{of}-\sec \mathrm{ond}-\mathrm{SuperHyperPart}-\mathrm{plus}-\mathrm{one}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\hfill \\ & & \mathrm{SuperHyperVertices}|min|\mathrm{the}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\mathrm{SuperHyperVertices}\mathrm{with}\mathrm{only}\hfill \\ & & \mathrm{one}\mathrm{exception}\mathrm{in}\mathrm{the}\mathrm{form}\mathrm{of}\mathrm{interior}\mathrm{SuperHyperVertices}\mathrm{from}\mathrm{any}\mathrm{given}\hfill \\ & & {\mathrm{SuperHyperEdge}.|}_{\mathrm{neutrosophic}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively. □

Example 11. 

In the Figure 29, the SuperHyperStar is highlighted and featured.

By using the Figure 29 and the Table 6, the neutrosophic SuperHyperStar is obtained.

The obtained neutrosophic SuperHyperSet, by the Algorithm in previous result, of the neutrosophic SuperHyperVertices of the connected neutrosophic SuperHyperStar $NSHS:(V,E),$ in the neutrosophic SuperHyperModel (29), is the neutrosophic SuperHyperForcing.

Proposition 25. 

Assume a connected neutrosophic SuperHyperBipartite $NSHB:(V,E).$ Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the neutrosophic cardinality of the first neutrosophic SuperHyperPart plus the second neutrosophic SuperHyperPart. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathit{The}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperVertices}\hfill \\ & & \mathit{-}\mathit{minus}\mathit{-}\mathit{on}\mathit{-}\mathit{the}\mathit{-}\mathit{cardinality}\mathit{-}\mathit{of}\mathit{-}\mathit{first}\mathit{-}\mathit{SuperHyperPart}\mathit{-}\mathit{plus}\mathit{-}\mathit{sec}\mathit{ond}\mathit{-}\mathit{SuperHyperPart}\hfill \\ & & \mathit{SuperHyperSets}\mathit{of}\mathit{the}\mathit{SuperHyperVertices}\mathit{|}\mathit{min}\mathit{|}\mathit{the}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{with}\mathit{only}\mathit{one}\mathit{exception}\mathit{in}\mathit{the}\mathit{form}\mathit{of}\mathit{interior}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{from}\mathit{any}\mathit{given}\mathit{SuperHyperEdge}.\hfill \\ & & {\mathit{|}}_{\mathit{neutrosophic}}\mathit{cardinality}\mathit{amid}\mathit{those}\mathit{SuperHyperSets}\mathit{.}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively.

Proof. 

Assume a connected neutrosophic SuperHyperBipartite $NSHB:(V,E).$ Let a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge excluding two unique neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but there are two white neutrosophic SuperHyperNeighbors outside implying there’s no neutrosophic SuperHyperVertex to the neutrosophic SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge, without any exclusion on some neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. There’s only one neutrosophic SuperHyperVertex outside the intended neutrosophic SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-neutrosophic SuperHyperSet of the neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet excludes only one neutrosophic SuperHyperVertex in a connected neutrosophic SuperHyperBipartite $NSHB:(V,E).$ Thus all the following neutrosophic SuperHyperSets of neutrosophic SuperHyperVertices are the simple neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the neutrosophic SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices contains the number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge with some neutrosophic SuperHyperVertices less than excluding one unique neutrosophic SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices, then, with excluding one unique neutrosophic SuperHyperVertex, the all number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperBipartite $NSHB:(V,E),$ every neutrosophic SuperHyperEdge has only one unique neutrosophic SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every neutrosophic SuperHyperEdge has only one unique white neutrosophic SuperHyperVertex. In a connected neutrosophic SuperHyperBipartite $NSHB:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior neutrosophic SuperHyperVertices and all exterior neutrosophic SuperHyperVertices where any of them has one neutrosophic SuperHyperNeighbor out. Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the neutrosophic cardinality of the first neutrosophic SuperHyperPart plus the second neutrosophic SuperHyperPart. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperVertices}\hfill \\ & & -\mathrm{minus}-\mathrm{on}-\mathrm{the}-\mathrm{cardinality}-\mathrm{of}-\mathrm{first}-\mathrm{SuperHyperPart}-\mathrm{plus}-\sec \mathrm{ond}-\mathrm{SuperHyperPart}\hfill \\ & & \mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\mathrm{SuperHyperVertices}|min|\mathrm{the}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\hfill \\ & & \mathrm{SuperHyperVertices}\mathrm{with}\mathrm{only}\mathrm{one}\mathrm{exception}\mathrm{in}\mathrm{the}\mathrm{form}\mathrm{of}\mathrm{interior}\hfill \\ & & \mathrm{SuperHyperVertices}\mathrm{from}\mathrm{any}\mathrm{given}\mathrm{SuperHyperEdge}.\hfill \\ & & {|}_{\mathrm{neutrosophic}}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively. □

Example 12. 

In Figure 30, the SuperHyperBipartite $NSHB:(V,E),$ is highlighted and featured.

By using the Figure 30 and the Table 7, the neutrosophic SuperHyperBipartite $NSHB:(V,E),$ is obtained.

The obtained neutrosophic SuperHyperSet, by the Algorithm in previous result, of the neutrosophic SuperHyperVertices of the connected neutrosophic SuperHyperBipartite $NSHB:(V,E),$ in the neutrosophic SuperHyperModel (30), is the neutrosophic SuperHyperForcing.

Proposition 26. 

Assume a connected neutrosophic SuperHyperMultipartite $NSHM:(V,E).$ Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the neutrosophic number of the summation on the neutrosophic cardinality of the neutrosophic SuperHyperParts. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathit{The}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperVertices}\hfill \\ & & \mathit{-}\mathit{minus}\mathit{-}\mathit{on}\mathit{-}\mathit{the}\mathit{-}\mathit{summation}\mathit{-}\mathit{on}\mathit{-}\mathit{cardinalities}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{SuperHyperParts}\hfill \\ & & \mathit{SuperHyperSets}\mathit{of}\mathit{the}\mathit{SuperHyperVertices}\mathit{|}\mathit{min}\mathit{|}\mathit{the}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{with}\mathit{only}\mathit{one}\mathit{exception}\mathit{in}\mathit{the}\mathit{form}\mathit{of}\mathit{interior}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{from}\mathit{any}\mathit{given}\mathit{SuperHyperEdge}\mathit{.}\hfill \\ & & {|}_{\mathrm{neutrosophic}}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively.

Proof. 

Assume a connected neutrosophic SuperHyperMultipartite $NSHM:(V,E).$ Let a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge excluding two unique neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but there are two white neutrosophic SuperHyperNeighbors outside implying there’s no neutrosophic SuperHyperVertex to the neutrosophic SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge, without any exclusion on some neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. There’s only one neutrosophic SuperHyperVertex outside the intended neutrosophic SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-neutrosophic SuperHyperSet of the neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet excludes only one neutrosophic SuperHyperVertex in a connected neutrosophic SuperHyperMultipartite $NSHM:(V,E).$ Thus all the following neutrosophic SuperHyperSets of neutrosophic SuperHyperVertices are the simple neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the neutrosophic SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices contains the number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge with some neutrosophic SuperHyperVertices less than excluding one unique neutrosophic SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices, then, with excluding one unique neutrosophic SuperHyperVertex, the all number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperMultipartite $NSHM:(V,E),$ every neutrosophic SuperHyperEdge has only one unique neutrosophic SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every neutrosophic SuperHyperEdge has only one unique white neutrosophic SuperHyperVertex. In a connected neutrosophic SuperHyperMultipartite $NSHM:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior neutrosophic SuperHyperVertices and all exterior neutrosophic SuperHyperVertices where any of them has one neutrosophic SuperHyperNeighbor out. Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus on the neutrosophic number of the summation on the neutrosophic cardinality of the neutrosophic SuperHyperParts. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperVertices}\hfill \\ & & -\mathrm{minus}-\mathrm{on}-\mathrm{the}-\mathrm{summation}-\mathrm{on}-\mathrm{cardinalities}-\mathrm{of}-\mathrm{all}-\mathrm{SuperHyperParts}\hfill \\ & & \mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\mathrm{SuperHyperVertices}|min|\mathrm{the}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\hfill \\ & & \mathrm{SuperHyperVertices}\mathrm{with}\mathrm{only}\mathrm{one}\mathrm{exception}\mathrm{in}\mathrm{the}\mathrm{form}\mathrm{of}\mathrm{interior}\hfill \\ & & \mathrm{SuperHyperVertices}\mathrm{from}\mathrm{any}\mathrm{given}\mathrm{SuperHyperEdge}.\hfill \\ & & {|}_{\mathrm{neutrosophic}}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively. □

Example 13. 

In Figure 31, the SuperHyperMultipartite $NSHM:(V,E),$ is highlighted and featured.

By using the Figure 31 and the Table 8, the neutrosophic SuperHyperMultipartite $NSHM:(V,E),$ is obtained.

The obtained neutrosophic SuperHyperSet, by the Algorithm in previous result, of the neutrosophic SuperHyperVertices of the connected neutrosophic SuperHyperMultipartite $NSHM:(V,E),$ in the neutrosophic SuperHyperModel (31), is the neutrosophic SuperHyperForcing.

Proposition 27. 

Assume a connected neutrosophic SuperHyperWheel $NSHW:(V,E).$ Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus the number of all the neutrosophic SuperHyperEdges. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathit{The}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperVertices}\hfill \\ & & \mathit{-}\mathit{minus}\mathit{-}\mathit{the}\mathit{-}\mathit{number}\mathit{-}\mathit{of}\mathit{-}\mathit{all}\mathit{-}\mathit{the}\mathit{-}\mathit{SuperHyperEdges}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\hfill \\ & & \mathit{SuperHyperVertices}\mathit{|}\mathit{min}\mathit{|}\mathit{the}\mathit{SuperHyperSets}\mathit{of}\mathit{the}\mathit{SuperHyperVertices}\mathit{with}\mathit{only}\hfill \\ & & \mathit{one}\mathit{exception}\mathit{in}\mathit{the}\mathit{form}\mathit{of}\mathit{interior}\mathit{SuperHyperVertices}\mathit{from}\mathit{any}\mathit{given}\hfill \\ & & {\mathit{SuperHyperEdge}\mathit{.}\mathit{|}}_{\mathit{neutrosophic}}\mathit{cardinality}\mathit{amid}\mathit{those}\mathit{SuperHyperSets}\mathit{.}\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively.

Proof. 

Assume a connected neutrosophic SuperHyperWheel $NSHW:(V,E).$ Let a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge excluding two unique neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but there are two white neutrosophic SuperHyperNeighbors outside implying there’s no neutrosophic SuperHyperVertex to the neutrosophic SuperHyperSet S does the “the color-change rule”. So it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. Consider some extreme numbers of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge, without any exclusion on some neutrosophic SuperHyperVertices, belong to any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices. The neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex but it implies it doesn’t have the minimum neutrosophic SuperHyperCardinality of a neutrosophic SuperHyperSet S of black neutrosophic SuperHyperVertices (whereas neutrosophic SuperHyperVertices in $V\left(G\right)\setminus S$ are colored white) such that $V\left(G\right)$ is turned black after finitely many applications of “the color-change rule”: a white neutrosophic SuperHyperVertex is converted to a black neutrosophic SuperHyperVertex if it is the only white neutrosophic SuperHyperNeighbor of a black neutrosophic SuperHyperVertex. There’s only one neutrosophic SuperHyperVertex outside the intended neutrosophic SuperHyperSet. Thus the obvious neutrosophic SuperHyperForcing is up. The obvious simple type-neutrosophic SuperHyperSet of the neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet excludes only one neutrosophic SuperHyperVertex in a connected neutrosophic SuperHyperWheel $NSHW:(V,E).$ Thus all the following neutrosophic SuperHyperSets of neutrosophic SuperHyperVertices are the simple neutrosophic type-SuperHyperSet of the neutrosophic SuperHyperForcing. It’s the contradiction to the neutrosophic SuperHyperSet S is a neutrosophic SuperHyperForcing. Thus any given neutrosophic SuperHyperSet of the neutrosophic SuperHyperVertices contains the number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge with some neutrosophic SuperHyperVertices less than excluding one unique neutrosophic SuperHyperVertex, isn’t a neutrosophic SuperHyperForcing. Thus if a neutrosophic SuperHyperEdge has some neutrosophic SuperHyperVertices, then, with excluding one unique neutrosophic SuperHyperVertex, the all number of those neutrosophic SuperHyperVertices from that neutrosophic SuperHyperEdge belong to any neutrosophic SuperHyperForcing. Thus, in a connected neutrosophic SuperHyperWheel $NSHW:(V,E),$ every neutrosophic SuperHyperEdge has only one unique neutrosophic SuperHyperVertex outside of neutrosophic SuperHyperForcing. In other words, every neutrosophic SuperHyperEdge has only one unique white neutrosophic SuperHyperVertex. In a connected neutrosophic SuperHyperWheel $NSHW:(V,E),$ the any neutrosophic SuperHyperForcing only contains all interior neutrosophic SuperHyperVertices and all exterior neutrosophic SuperHyperVertices where any of them has one neutrosophic SuperHyperNeighbor out. Then a neutrosophic SuperHyperForcing is a neutrosophic SuperHyperSet of the exterior neutrosophic SuperHyperVertices and the interior neutrosophic SuperHyperVertices with only one exception in the form of interior neutrosophic SuperHyperVertices from any given neutrosophic SuperHyperEdge with the minimum neutrosophic cardinality. A neutrosophic SuperHyperForcing has the minimum neutrosophic cardinality on all neutrosophic SuperHyperForcing has the number of all the neutrosophic SuperHyperVertices minus the number of all the neutrosophic SuperHyperEdges. Thus,

$$\begin{array}{ccc}& & NeutrosophicSuperHyperForcing=\{\mathrm{The}\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperVertices}\hfill \\ & & -\mathrm{minus}-\mathrm{the}-\mathrm{number}-\mathrm{of}-\mathrm{all}-\mathrm{the}-\mathrm{SuperHyperEdges}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\hfill \\ & & \mathrm{SuperHyperVertices}|min|\mathrm{the}\mathrm{SuperHyperSets}\mathrm{of}\mathrm{the}\mathrm{SuperHyperVertices}\mathrm{with}\mathrm{only}\hfill \\ & & \mathrm{one}\mathrm{exception}\mathrm{in}\mathrm{the}\mathrm{form}\mathrm{of}\mathrm{interior}\mathrm{SuperHyperVertices}\mathrm{from}\mathrm{any}\mathrm{given}\hfill \\ & & {\mathrm{SuperHyperEdge}.|}_{\mathrm{neutrosophic}}\mathrm{cardinality}\mathrm{amid}\mathrm{those}\mathrm{SuperHyperSets}.\}\hfill \end{array}$$

Where ${\sigma }_i$ is the unary operation on the SuperHyperVertices of the SuperHyperGraph to assign the determinacy, the indeterminacy and the neutrality, for $i=1,2,3,$ respectively. □

Example 14. 

In the Figure 32, the SuperHyperWheel $NSHW:(V,E),$ is highlighted and featured.

By using the Figure 32 and the Table 9, the neutrosophic SuperHyperWheel $NSHW:(V,E),$ is obtained.

The obtained neutrosophic SuperHyperSet, by the Algorithm in previous result, of the neutrosophic SuperHyperVertices of the connected neutrosophic SuperHyperWheel $NSHW:(V,E),$ in the neutrosophic SuperHyperModel (32), is the neutrosophic SuperHyperForcing.