Is the cell of a in infT the equivalence class of a modulo E_{infT}, i.e., [a]_{E_{infT}}? If so, then I think the properties the cell of a in infT would have would be as follows:
For all a \in A, for all x \in T, [a]_{E_{infT}} \subseteq [a]_{E_{x}} and for all y \in Pt(A), if [a]_{E_{y}}...