Teaching import and export on partial order relation in Discrete Instructure Mathematics | IEEE Conference Publication | IEEE Xplore