At-Most-Once Set Classes is a formal construct in set-class analysis that categorizes sets in which no element appears more than once, distinguishing it from other set-class constructs by enforcing a cardinality constraint that prohibits element repetition within any member set.