[25J]Se ogni elemento di \(A\) è un insieme transitivo, allora \(x ∈y\) è una relazione transitiva in \(A\) . (Notate che questo vale anche quando \(A\) non è un insieme transitivo).
[25K]↺↻
