finite-set

public under countable-set 4

List Picture As a command

• empty-set
• finite-field
• singleton-set