Scott - yes, it takes a little thought to see that "my" definition of a finer partition is equivalent to "yours". But it works out fine.

(Quotes because both these definitions must be known by every expert.)