Most software-component research has been directed at functional specification of software components. The other, equally important side of the coin is component quality. We present a foundational theory of reliability based on components. The theory describes how component developers can make measurements that are later used by system designers to calculate--without implementation and test--system reliability. The theory is a "microscopic" one that describes in detail how component properties are reflected in systems designed using those components.