Where outputs rely strictly on inputs and nothing else Past inputs should not change future outputs of combinational circuits