Partial carrier set
A Partial carrier set \(X_{-}\) is a carrier set extended with special - empty element.
Mathematical Definition
Let \(X\) is Carrier set
Let \(- \notin X\)
Define Partial carrier set
\[X_{-} = X \cup \{-\}\]
A Partial carrier set \(X_{-}\) is a carrier set extended with special - empty element.
Let \(X\) is Carrier set
Let \(- \notin X\)
Define Partial carrier set