In program analysis, a concrete domain is a mathematical structure that comprises all values and/or effects of a program under analysis as its elements.
A typical concrete domain might be the set of all integers, or the set of all possible program states.
Many concrete domains are (theoretically) of infinite or at least of very large size. For static program analysis, we therefore usually abstract them into Abstract Domains.