Talk:Deviation of a poset

Definition is circular or incomplete.
Deviation of a poset is defined in terms of deviation of subposets. This gives a recursive definition lacking a base case or base cases. -- 66.103.112.42 (talk) 16:52, 25 July 2015 (UTC)

Fixed by adding the base cases. — Preceding unsigned comment added by 130.88.123.219 (talk) 11:31, 3 March 2017 (UTC)

Just to be clear, is it the case that the deviation of a non-trivial poset that doesn't satisfy the descending chain condition undefined? — Preceding unsigned comment added by 2601:2C1:200:1BE0:FD78:C3EB:1447:58DD (talk) 22:57, 4 March 2019 (UTC)