B模型亦称B扩大，是一种特殊的非标準模型。

设K是一个句子集合，T是在K中出现的一切常项所成的集合，T₀是T中一切共点关係的常项所成的集合，B是T₀的一个子集，K的一个模型M如果能使B中的每个共点关係常项全满足，即对于B中每个元素b，存在一个常项a能使(g,a)∈b在M中都成立，其中g遍历b的定义域，则称M是K的一个B模型或者B扩大。

非标準模型简单地说就是与自然模型（或称标準模型、期望模型）不同构的模型。

非标準模型虽然不是人们所期望的，它们有时却有着非常重要的套用。开发理论的非标準模型以求得对自然模型（即人们所真正关心的模型）的性质的了解或对理论本身性质的了解的学问被J.L.贝尔和M.麦克弗称作“非标準分析”。

共点关係是一种特殊的二元关係。

设R是标準全域U中的一个二元关係，若对R的定义域中的任意有限个无素a₁,a₂,...,a_n，在R的值域中总存在一个元素b，有(a_i,b)∈R(i=1,2,...,n)，则称R是一个共点关係。

换句话说，共点关係是有限可满足的二元关係。