scheme :: CIRCCMB3:sch 9
OneGate1Result{ F₁() -> object , F₂() -> non empty finite set , F₃( object ) -> Element of F₂(), F₄() -> Function of (1 -tuples_on F₂()),F₂() } :

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

provided

A1: for g being Function of (1 -tuples_on F₂()),F₂() holds
( g = F₄() iff for a1 being Element of F₂() holds g . <*a1*> = F₃(a1) )