Definition. fst_eq
fst t = ⋂⋂t