"Should the p's and q's in o..."

https://arbital.com/p/4gx

by Eric Rogstad Jun 17 2016


Simply put, pprecq means that q is the smallest element of P which is strictly greater than p\. pprecq is pronounced "p is covered by q", or "p covers q"\. q is said to be a cover of p\.

Should the p's and q's in one of these be switched?