Description
Map the two Boolean membership flags to intersection, first-only, second-only, or neither.
A set contains distinct values, so duplicate input items do not contribute additional members. Ordered output is a serialization convention; membership, equality, and the chosen universe determine the underlying set result.
Map the two Boolean membership flags to intersection, first-only, second-only, or neither.
When to use this tool
Use Set Membership Four Way Label when you need a deterministic operation on explicitly supplied sets or a finite membership representation.
How to use the tool and how it works
- Enter inFirst, inSecond. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read region. Use the output convention below.
Map the two Boolean membership flags to intersection, first-only, second-only, or neither.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| inFirst | In First | Required. Boolean. |
| inSecond | In Second | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| region | Region | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"inFirst": true,
"inSecond": false
},
"output": {
"region": "first-only"
}
}Limitations and assumptions
- This labels supplied membership, without inspecting sets or verifying a universal-set definition.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Specify the universe and equality convention before combining this result with other set operations.
References
Similar or alternative tools
- Set Inclusion Counterexample
Deduplicate subset and return its elements absent from superset as counterexamples.
- Atom Membership Bit Signature
Read memberships in array order, write true as 1 and false as 0 for signature, and set integer bit i for every true entry.