[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]↺↻