The ship's navigation process in the terms of the set theory