חלוקה P של היא קבוצה המקיימת:
עוד נגדיר לכל את אורך תת-קטע להיות
פרמטר החלוקה של P מוגדר להיות אורך החלק הכי גדול: