Lab2 with IDEF

todo: підсистеми та доведення факту, що є системою