challenge: What type of semigroup actions have nice properties when corresponded with transformation semigroups?
  
  A. Finite semigroup actions
  B. Arbitrary semigroup actions
  C. Trivial semigroup actions
  D. Faithful semigroup actions
  Answer: 