In probability theory, procedure that can be infinitely repeated, with a well-defined set of outcomes