F = {A --> B, C --> X, BX --> Z}, khi đó:

AB --> C thuộc F+.

A --> Z thuộc F+.

CB --> Z thuộc F+.

AC --> Z thuộc F+.