The paper outlines a method for introducing undergraduates (especially computer science majors) to abstract Boolean algebra and to the process of mathematical abstraction itself. The method is based on the use of a common hardware representation (the bit vector representation) for sets and truth tables as a pedagogical device to motivate the study of partially ordered sets, lattices, and Boolean algebras.