@Test
public void testDownset() {

    ConceptLattice powerset = Context.powerset(ABC).asConceptLattice(new TinkerGraph());
    Context downset = Context.downset(powerset);
    
    assertEquals(downset.getObjects().size(), 8);
    assertEquals(downset.getAttributes().size(), 8);
    assertTrue(downset.getRelation() instanceof NotGreaterOrEqual);
    
    ConceptLattice lattice = downset.asConceptLattice(new TinkerGraph());
    
    assertEquals(lattice.size(), 20);
    assertEquals(lattice.top(), new Concept(bits(), bits(0, 1, 2, 3, 4, 5, 6, 7)));
    assertEquals(lattice.bottom(), new Concept(bits(0, 1, 2, 3, 4, 5, 6, 7), bits()));
}