Setインターフェースの実装クラスで、スレッドセーフなものはどれか。

Predicate<T> p1, p2 があるとき、p1.or(p2) の論理的な意味はどれか。