It's a common property and I figure I can write a higher order function to build QuickCheck tests for it.  I was just wondering if it has a name.