如Table 37.9所示，btree 定义了一个必需和五个可选的支持函数。六个用户定义的方法如下：
order对于 B-树 操作符族为其提供比较操作符的每一种数据类型组合，都必须提供一个比较支持函数。该函数在 pg_amproc 中注册，支持函数编号为 1，并且 amproclefttype/amprocrighttype 要等于该比较的左右数据类型（也就是与匹配操作符在 pg_amop 中注册时相同的数据类型）。比较函数必须接受两个非空值 A 和 B，并返回一个 int32 值，其值为 < 0、 0 或 > 0，分别对应 A < B、 A = B 或 A > B。不允许返回空值：该数据类型的所有值都必须可比较。示例见 src/backend/access/nbtree/nbtcompare.c。
如果参与比较的值属于可排序数据类型，则会通过标准的 PG_GET_COLLATION() 机制，把适当的排序规则 OID 传递给比较支持函数。
sortsupport可选地，B-树 操作符族可以提供排序支持函数，注册为支持函数编号 2。这些函数允许以比朴素地直接调用比较支持函数更高效的方式，实现用于排序的比较。相关 API 定义在 src/include/utils/sortsupport.h 中。
in_range可选地，B-树 操作符族可以提供 in_range 支持函数，注册为支持函数编号 3。这些函数不会在 B-树 索引操作期间使用；相反，它们会扩展操作符族的语义，使其能够支持包含 RANGE offset PRECEDING 和 RANGE offset FOLLOWING 这两种帧边界类型的窗口子句（见Section 4.2.8）。本质上，它额外提供的信息是：如何以与该族数据排序兼容的方式，对 offset 值进行加减。
该in_range函数必须具有以下签名：
in_range(valtype1,basetype1,offsettype2,subbool,lessbool) returns bool
val和base必须具有相同的类型，且该类型是操作符族支持的类型之一（即该操作符族为其提供排序顺序的类型）。但是，offset可以具有不同的类型，甚至可以是操作符族在其他方面不支持的类型。例如，内置的time_ops操作符族提供一个in_range函数，其中offset的类型为interval。操作符族可以提供in_range函数，用于其支持的任意类型与一种或多种offset类型的组合。每个in_range函数都应登记在pg_amproc中，并使amproclefttype等于type1和amprocrighttype等于type2。
对于in_range函数，其核心语义取决于两个布尔标志参数。它应当先对base和offset做加法或减法，再把val与结果比较，具体如下：
如果 !sub 且 !less，返回 val >= (base + offset)
如果 !sub 且 less，返回 val <= (base + offset)
如果 sub 且 !less，返回 val >= (base - offset)
如果 sub 且 less，返回 val <= (base - offset)
在此之前，函数应检查offset的符号：如果它小于零，就引发错误ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE(22013)，错误文本类似于“invalid preceding or following size in window function”。（这是 SQL 标准的要求，尽管非标准操作符族或许会选择忽略这一限制，因为从语义上看似乎并没有太大必要。）把这个要求委托给in_range函数，是为了让核心代码无需理解“小于零”对于某个特定数据类型究竟意味着什么。
另外还希望 in_range 函数在可行时避免因为 base + offset 或 base - offset 会溢出而抛出错误。即便该值会超出该数据类型的取值范围，仍然可以判定正确的比较结果。注意，如果该数据类型包含诸如 “infinity” 或 “NaN” 之类的概念，就可能需要格外小心，以确保 in_range 的结果与该操作符族的正常排序顺序一致。
该in_range函数的结果必须与操作符族规定的排序顺序一致。具体而言，对于任意固定的offset和sub值，应满足以下条件：
如果 in_range 在 less = true 时，对某个 val1 和 base 返回真，那么对于每一个 val2 <= val1，只要其 base 相同，它也必须返回真。
如果 in_range 在 less = true 时，对某个 val1 和 base 返回假，那么对于每一个 val2 >= val1，只要其 base 相同，它也必须返回假。
如果 in_range 在 less = true 时，对某个 val 和 base1 返回真，那么对于每一个 base2 >= base1，只要其 val 相同，它也必须返回真。
如果 in_range 在 less = true 时，对某个 val 和 base1 返回假，那么对于每一个 base2 <= base1，只要其 val 相同，它也必须返回假。
当less= false 时，类似的结论成立，但条件相反。
如果被排序的类型（type1）属于可排序数据类型，则会通过标准的 PG_GET_COLLATION() 机制，把适当的排序规则 OID 传递给 in_range 函数。
in_range 函数不必处理 NULL 输入，并且通常会被标记为 strict。
equalimage可选地，B-树 操作符族可以提供 equalimage（“相等蕴含映像相等”）支持函数，注册为支持函数编号 4。这些函数允许核心代码判断何时可以安全地应用 B-树 去重优化。目前， equalimage 函数只会在构建或重建索引时被调用。
该equalimage函数必须具有以下签名：
equalimage(opcintypeoid) returns bool
返回值是关于操作符类和排序规则的静态信息。返回true表示可以保证：该操作符类的order函数仅在以下情况下返回0 （“参数相等”）：其A和B参数还必须能够互换，且不会损失任何语义信息。若未注册equalimage函数，或者返回false，则表示不能假定此条件成立。
opcintype 参数是该操作符类所索引数据类型的 pg_type.oidequalimage 函数。如果 opcintype 是可排序数据类型，则会通过标准的 PG_GET_COLLATION() 机制，把适当的排序规则 OID 传递给 equalimage 函数。
就操作符类本身而言，返回 true 表示可以安全去重（或者更准确地说，对于传递给其 equalimage 函数的那个排序规则来说可以安全去重）。但是，只有当每个被索引列都使用注册了 equalimage 函数的操作符类，并且各函数在调用时实际都返回 true 时，核心代码才会认为某个索引可以安全地去重。
映像相等与简单的按位相等几乎是同一个条件。两者有一个细微差别：当 varlena 数据类型建立索引时，由于输入时应用 TOAST 压缩可能不一致，两个映像相等的 datum 的磁盘表示未必按位相等。形式化地说，当某个操作符类的 equalimage 函数返回 true 时，就可以安全地假定 datum_image_eq() C 函数将始终与该操作符类的 order 函数保持一致 （前提是向 equalimage 和 order 函数传入的是同一个排序规则 OID）。
核心代码本质上无法仅根据同一多数据类型族中其他操作符类的细节，推断出某个操作符类的“相等蕴含映像相等”状态。此外，操作符族注册跨类型的 equalimage 函数并不合理，尝试这样做会导致错误。原因在于，“相等蕴含映像相等”状态并不只依赖于排序/相等语义，而这些语义大致是在操作符族层面定义的。一般来说，某个具体数据类型所实现的语义必须单独考虑。
核心 PostgreSQL 发行版中包含的操作符类遵循的惯例是：注册一个现成的通用 equalimage 函数。大多数操作符类注册 btequalimage()，这表示去重在无条件下都是安全的。像 text 这样可排序数据类型的操作符类会注册 btvarstrequalimage()，这表示在确定性排序规则下去重是安全的。第三方扩展的最佳实践则是注册它们自己的自定义函数，以保留控制权。
options可选地，B-树操作符族可以提供 options（“操作符类特定选项”）支持函数，注册为支持函数编号 5。这些函数定义一组用户可见的参数，用于控制操作符类行为。
该options支持函数必须具有以下签名：
options(reloptslocal_relopts *) returns void
该函数接收一个指向local_relopts结构体的指针，需要用一组操作符类专用选项填充该结构体。其他支持函数可以使用PG_HAS_OPCLASS_OPTIONS()和PG_GET_OPCLASS_OPTIONS()宏访问这些选项。
目前还没有任何 B-树操作符类带有 options 支持函数。B-树不像 GiST、SP-GiST、GIN 和 BRIN 那样允许键具有灵活的表示方式。因此， options 在当前的 B-树 索引访问方法中大概没有太多用途。尽管如此，为了统一性，这个支持函数还是被加入到了 B-树中，并且很可能会在 PostgreSQL 中 B-树 的进一步演进过程中派上用场。