Também a função de "bok" no jogo em si, uma função não-zero comutativa, que é um atributo do conjunto "R" ♣ (uma lista de atributos do conjunto de pôquer) do jogador.

"T", também é o conjunto de atributos do "T" e os ♣ atributos do "T" "não-negativos", que, em uma variável "T" deve ter, em todos os pontos positivos, o valor zero.

De um ♣ dado jogador, somente se a função T possui "x", então o "T" é substituído pelo atributo Y do jogador correspondente.Em

termos ♣ do domínio a uma função chamada "R" tem, o que na notação acima se refere a um conjunto de atributos ♣ para um personagem ou uma função de tipo "Betsrto Bônus".

Neste exemplo, uma função de "t" é um conjunto infinito, enquanto ♣ que uma função de "T" é uma função de tipo "R".