K-KDE operations and algebraic thinking greater than less ...