• In a banking system, a customer account is identified by an account number. As part of formalizing some of the ideas in the management of bank accounts, write a declaration to introduce AccountNumber as a given set for account numbers and then:
• Write a declaration to introduce the following sets:
• Active: account numbers that are in use
• Overdrawn: a set of account numbers that are overdrawn
• Saving: a set of account numbers of saving accounts (have higher interest)
• Current: a set of current accounts (have no interest)

• Write predicates to formalize the following statements:
• Only active accounts can be overdrawn.
• Only current accounts can be overdrawn.
• The active accounts are the saving accounts and the current accounts taken together.
• No account can be both saving account and current account.
• Write down predicates to show the set relationships and draw some Venn diagrams to illustrate the relations between all the sets introduced in formalizing the banking system.