julia> @test issubset([1,2],[1,2]) # loose order Test Passed julia> @test isless((1,2), (1,2)) == false # strict order Test Passed
isless is defined in term of lexicographic order. scientific litterature (bender, williamson, arndt) is quite conservative about saying that implies the order is strict
issubset does not test for proper subsetting.
Any rational about this?
Currently working on poset / lattice in Julia.
sound foundation are appreciated.