按树图法构成的码一定满足（）的定义。