Joseph A. Panuska lyrics from the alma mater. The buildings of Redington Hall form a "U" that is open to the south to take advantage of the year-round sunshine and look out on South Scranton. The west wing contains Collegiate Hall, angled to face the Commons. At the northwest corner of the residence hall, there is a three-storied entry rotunda containing the stairs, lounges, circulation space, a clock tower with a carillon, and a glass-pyramid roof and crucifix designed by Rev. Panuska. The carillon system was produced by the Maas-Rowe Co. of Escondido, California. The five largest bells in the bell tower were
Partition of a set "coarser" than "α"—if every element of "α" is a subset of some element of "ρ". Informally, this means that "α" is a further fragmentation of "ρ". In that case, it is written that "α" ≤ "ρ". This "finer-than" relation on the set of partitions of "X" is a partial order (so the notation "≤" is appropriate). Each set of elements has a least upper bound and a greatest lower bound, so that it forms a lattice, and more specifically (for partitions of a finite set) it is a geometric lattice. The "partition lattice" of a 4-element set has 15 elements