要解决这个问题，需要理解集合的并集运算符 `|` 在 Python 中的行为。并集运算符 `|` 会返回一个包含两个集合中所有元素的集合。

已知集合 `s1 = {2,4,5,6}`，我们要求 `s1 | s2 = {2,4,5,6}`，这意味着并集的结果不能添加任何新的元素，即 `s2` 中的所有元素也必须在 `s1` 中已经存在。这种情况下，`s2` 不能包含任何不在 `s1` 中的元素，否则并集的结果将会增加新的元素。

让我们分析选项：
- **A: `s2 = {1,4,5,6}`**
- 并集结果为 `{1,2,4,5,6}`，因为 `1` 不在 `s1` 中。

- **B: `s2 = {2,4,5,6}`**
- 并集结果为 `{2,4,5,6}`，符合要求，因为 `s2` 等于 `s1`。

- **C: `s2 = {1,2,4,5,6}`**
- 并集结果为 `{1,2,4,5,6}`，`1` 是新增元素。

- **D: `s2 = {1,2,4,5,6,7}`**
- 并集结果为 `{1,2,4,5,6,7}`，`1` 和 `7` 是新增元素。

因此，正确答案是 **B: `s2 = {2,4,5,6}`**，因为这使得并集与 `s1` 相同，没有增加新的元素。