Абстрактный
отвлеченный от чего-либо.
(от греч. poly – много, многое, lemma - предположение) - условно-разделительное умозаключение, в котором одна посылка состоит из двух условных суждений, а другая является разделительным суждением, содержащим много альтернатив.
Условно-разделительное умозаключение, также называемое полилеммой, - это частный случай умозаключения...
Таким образом, в простой конструктивной полилемме консеквенты в условных высказываниях одинаковы, потому
отвлеченный от чего-либо.
одинаковый, вполне соответствующий чему-либо, равный, тождественный.
это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением.