[deleted] comments on Extensions and Intensions

[[deleted]]

What is the benefit of knowing this?

It’s a trivial distinction.