Logic – tập hợp – quan hệ – ánh xạ