scheme :: CIRCCMB3:sch 11
OneGate3Result{ F₁() -> object , F₂() -> object , F₃() -> object , F₄() -> non empty finite set , F₅( object , object , object ) -> Element of F₄(), F₆() -> Function of (3 -tuples_on F₄()),F₄() } :

for s being State of (1GateCircuit (<*F₁(),F₂(),F₃()*>,F₆()))
for a1, a2, a3 being Element of F₄() st a1 = s . F₁() & a2 = s . F₂() & a3 = s . F₃() holds
(Result s) . (Output (1GateCircStr (<*F₁(),F₂(),F₃()*>,F₆()))) = F₅(a1,a2,a3)

provided

A1: for g being Function of (3 -tuples_on F₄()),F₄() holds
( g = F₆() iff for a1, a2, a3 being Element of F₄() holds g . <*a1,a2,a3*> = F₅(a1,a2,a3) )