Is there a name for this equivalence relation?
$\mathscr F$-indistinguishability.
In analogy with Topological indistinguishability.
The elements of this partition are precisely the atoms of the complete Boolean algebra generated by the family.
$\mathscr F$-indistinguishability.
In analogy with Topological indistinguishability.
The elements of this partition are precisely the atoms of the complete Boolean algebra generated by the family.