Yes. Try me and find one single counter example to contradict me :-) (edit: You could try something like ∀ e ⊂ ∅ ∨ ⊤ - adding "or true" at the end - but that'

Yes. Try me and find one single counter example to contradict me :-) (edit: You could try something like ∀ e ⊂ ∅ ∨ ⊤ - adding "or true" at the end - but that's not really what littlestymaar meant)