什么是有限论域?有限论域的概念及其意义是什么?有什么应用?