Seja o conjunto A representado pelos Coronéis lotados no Quartel do Comando Geral da Polícia Militar (QCGPQ) e B, por todos os oficiais superiores lotados no (QCGPM). Supondo que A < B, então ao simplificar [A ∩ (A U BC)] ∩ [B U (A U BC)C], é encontrado o conjunto:
