 The same kind of remark applies to infinite trees as we discussed them, and certainly to hypersets.    The conclusion is that if one wants to work with such objects in a set theory with FA, then one must do so indirectly.     