The process of extracting or drawing out something (e.g., from a substance or a data set)

(logic) A logical operation or relationship between statements where at least one must be true