B-划分（B-partition），文学-语言文字-计算语言学及语料库语言学-计算语言学，具有给定的域及成立句子的词的集合（见语言集合论模型初始概念），称作语言，记作。彼此不相交的子集的并称为集合的划分。把集合分割为彼此不相交的子集之并，故可得出域的划分，记作划分。词等价于词，记为，如果①对于任何一个形如的成立句子，句子也成立；②对于任何一个形如的成立句子，句子也成立。其中，，，和是任意的句子，它们也可以是不包括任何一个词的“空句子”。这样的等价是自反的、对称的、传递的，它完全满足等价关系的条件。等价把集合分割为一系列不相交的子集，这种子集，叫作族（Семейство）。两个等价的元素进入同一个族中，而两个不等价的元素则进入不同的族中。词的族，记为。例如，取成立的英语句子：①This man is my teacher．（这个人是我的老师。