KEA, 226
kernel F<:, 391
kinding, 439–447, 459
kinds
dependent, 445
power, 445
row, 445
singleton, 445
Knaster-Tarski fixed point theorem, 283