• 正體: 有限集合[電機工程]