Which statement about an object union A | B is correct under structural typing?

Which statement about an object union A | B is correct under structural typing?

1. A value may satisfy A, B, or both.
2. Every value must have all properties from A and B.
3. A runtime tag is added automatically.
4. All properties unique to A or B become optional.